Observe as proposições compostas a seguir formadas a partir das proposições simples p e q:
p: Dilma é presidente.
q: Ronaldinho voltou para o Brasil.
Se Dilma é presidente, então Ronaldinho voltou para o Brasil.
Dilma é presidente ou Ronaldinho não voltou para o Brasil.
Em linguagem lógica, podemos escrever as sentenças acima, respectivamente:
(a) p v q e p ^~q
(b) p -> q e p v ~q
(c) p -> q e ~(p ^q)
(d) p v q e ~(p ^ q)
(e) p v q e ~(p ^ q)