Considere as proposições simples p: João é carioca. q: Pedro é paulista. Como se escreve em linguagem corrente a proposição composta: ~(p ∧~q).?

Escreveremos da maneira mostrada abaixo:

P^q- V-F

~p^~q -F-V

 P^Q: João é carioca E Pedro é paulista

~P^~Q: João não é carioca E Pedro não é paulista

Portanto, essa é a tradução de linguagem lógica que usamos para escrever afirmações.