P Q

Contrapositiva: ~P ~Q
Si 1 ≥ 4 entonces 5 < 8

Recíproca: Q P

Si 5 ≥ 8 entonces 1 < 4
 (Pvr) Q

: (~ P Λ ~ r ) ~Q

Si la inundación no destruye mi casa y el fuego no destruye mi casa

entonces la compañia de seguros no me pagará.
: Q (Pvr)

Si la compañia de seguros me paga

entonces la inundación destruye mi casa o el fuego destruye mi casa.
 (~ P Λ r ) (Qvt)

: (Pv~r) (~ Q Λ ~ t )

Si 2 + 2 = 4 o 9 no es un número primo, entonces no es cierto que

2 + 2 = 5 y 11 no es numero par.
: (Qvt) (~ P Λ r )

Si 2 + 2 = 5 u 11 es un numero par, entonces

es cierto que 2 + 2 = 4 y 9 es un número primo
.