02/09/2018

Doble negación Conjunción Disyunción

¬¬α αβ αβ

α
α β α β

Condicional Bicondicional Negación de la conjunción

αβ αβ ¬(αβ)

¬α β α ¬α ¬α ¬β
β ¬β

Negación de la disyunción Negación del bicondicional Negación del condicional

¬(αβ) ¬(αβ) ¬(αβ)

¬α α
¬β α ¬α ¬β
¬β β