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:
Questão
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:
Alternativas
a) p " q
b) ~p
c) p v q
d) p ^ q
Explicação
Temos:
- : “Paulo é paulista”.
- O enunciado pede a proposição: “Paulo não é paulista”.
Na lógica proposicional, a negação de uma proposição é representada por (ou ). Portanto, “Paulo não é paulista” traduz-se por .
Alternativa correta: (b).