Considere verdadeiras as proposições A e B abaixo.
A: p ˄ q
B: p → r
Pode-se, então, concluir logicamente, a partir das proposições A e B, que é verdadeira a proposição
¬p.
p ˄ ¬r.
¬q.
r.