Ejercicios para el lector

Construye las tablas de verdad de las siguientes proposiciones compuestas:

  1. \(\neg (Q\vee R )\wedge R \)
  2. \(P\Rightarrow (Q\Rightarrow R) \)
  3. \((P\Rightarrow Q)\Rightarrow [(P\wedge \neg Q)\Rightarrow (R\wedge \neg R) ] \)
  4. \(P\Rightarrow (R \Rightarrow \neg P) \)
  5. \(\neg(Q\vee S)\vee P \)
  6. \(\neg Q\Leftrightarrow R \)
  7. \([P\wedge (Q\Leftrightarrow P)]\Rightarrow\neg Q \)
  8. \([(P\Leftrightarrow R)\wedge (Q\Rightarrow \neg P) ]\Rightarrow (Q\wedge R) \)
  9. \(P\vee Q\vee R\vee S \)
  10. \((P\Rightarrow R)\wedge (R\Rightarrow \neg Q)\)

Vídeos

Siguiente: Equivalencia lógica
Anterior: Tablas de verdad