endo 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...

endo 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: Escolha uma opção: a. p " q b. ~p c. p v q d. p ^