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

98%

c) p v q

d) p ^ q

Explicação

Temos:

  • pp: “Paulo é paulista”.
  • O enunciado pede a proposição: “Paulo não é paulista”.

Na lógica proposicional, a negação de uma proposição pp é representada por p\sim p (ou ¬p\lnot p). Portanto, “Paulo não é paulista” traduz-se por p\sim p.

Alternativa correta: (b).

Questões relacionadas

Ver últimas questões

Comece a estudar de forma inteligente hoje mesmo

Resolva questões de concursos e vestibulares com IA, gere simulados personalizados e domine os conteúdos que mais caem nas provas.

Cancele quando quiser.