Sendo p a proposição Paulo é paulista e q a proposição Ronaldo é carioca, bem como os símbolos logísticos: ~ negação, ^ e, v ou, → se então, ↔ se e...

Sendo p a proposição Paulo é paulista e q a proposição Ronaldo é carioca, bem como os símbolos logísticos: ~ negação, ^ e, v ou, → se então, ↔ se e somente se, / tal que, podemos criar a proposição Paulo não é paulista. Ao traduzir para a linguagem corrente da lógica, temos:

a. ~p
b. ~p
c. p ^ q
d. p v q
e. p " q