FC ConcursosFC Concursos

Questão FC149289

Uma proposição é uma sentença declarativa que pode ser julgada como verdadeira (V) ou falsa (F), mas não como V e F simultaneamente. As proposições são representadas por letras mai

Lógica de Proposições

CEBRASPE (CESPE)

Uma proposição é uma sentença declarativa que pode ser julgada como verdadeira (V) ou falsa (F), mas não como V e F simultaneamente. As proposições são representadas por letras maiúsculas A, B, C etc. A partir de proposições dadas, podem-se construir novas proposições, empregando-se símbolos lógicos como os  conectivos v (lê-se: e) e V (lê-se: ou) e o condicional → (significa: se..., então...). A tabela-verdade apresentada a seguir contém os valores lógicos V ou F das proposições A ∧ B, A ∨ B e A → B, obtidos a partir dos valores lógicos das proposições A e B.



Dada uma proposição A, a negação dessa proposição, indicada por ¬A, tem valor lógico oposto ao da proposição A.

A partir dessas informações e da tabela-verdade apresentada acima, julgue o item a seguir.

As proposições A ∧ (¬B) ∧ (¬C) e [(A → (B ∨ C)] têm os mesmos valores lógicos, independentemente dos valores lógicos das proposições A, B e C.
Mostrar resposta e comentário

Gabarito

Certo

Comentário do professor

Comentário: A afirmação está correta porque as proposições A ∧ ¬B, ¬(A ∧ B) e A → (B ∨ C) podem ser equivalentes através de simplificações lógicas e propriedades de negação, como a lei de De Morgan e a definição de implicação. Essas equivalências garantem que, independentemente dos valores de A, B e C, as expressões fornecem os mesmos resultados na tabela-verdade, confirmando a validade da afirmação de que têm os mesmos valores lógicos. Portanto, a proposição é verdadeira.

Conteúdo do catálogo FC Concursos · Atualizado em

Continue aprendendo