Questão número 39878

A lógica proposicional trata de argumentações elaboradas por meio de proposições, isto é, de declarações que podem ser julgadas como verdadeiras (V) ou falsas (F), mas nunca como V e F simultaneamente. As proposições normalmente são simbolizadas por letras maiúsculas do alfabeto e alguns símbolos lógicos são usados para compor novas proposições. Uma conjunção, proposição simbolizada por AvB, é lida como “A e B” e julgada como V somente quando A e B forem V, e F, nos demais casos. Uma implicação, proposição simbolizada por A÷B, é lida como “se A, então B”, e julgada como F somente quando A for V e B for F, e V nos demais casos. A lógica de primeira ordem também trata de argumentações elaboradas por meio de proposições da lógica proposicional, mas admite proposições que expressem quantificações do tipo “todo”, “algum”, “nenhum” etc.

 A partir dessas notações e definições, julgue os itens que se seguem.

Considerando que as proposições A, B, B÷C e [AvB]÷[C÷D] sejam V, então a proposição D será, obrigatoriamente, V.

  • C. Certo
  • E. Errado
Próxima Questão
Provas e Concursos

O Provas e Concursos é um banco de dados de questões de concursos públicos organizadas por matéria, assunto, ano, banca organizadora, etc

{TITLE}

{CONTENT}

{TITLE}

{CONTENT}
Provas e Concursos
0%
Aguarde, enviando solicitação!

Aguarde, enviando solicitação...