Question

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:
Escolha uma opção:

Answer 1

Resposta:

como assim explica melhor

Answer 2

Resposta:

~p.

Explicação:

Dada a proposição:

p : "Paulo é paulista",

a proposição "Paulo não é paulista" é sua negação, que é dada por ~p.