Considere verdadeiras as proposições A e B abaixo.

A: p !$ \land !$ !$ \neg !$q

B: r !$ \rightarrow !$ q

Pode-se, então, concluir logicamente, a partir das proposições A e B, que é verdadeira a proposição