Qui abbiamo l'operatore logico chiamato contro-implicazione inversa

p_∧ q

p q p_ p_∧ q
f

f

v

v 		f

v

f

v 		v

v

f

f 		f

v

f

f

Si tratta di una proposizione composta da due proposizioni che e' falsa solamente se la prima e' falsa e la seconda e' vera

la sua negazione e' l'implicazione diretta e la trovi nella terza colonna