Na lógica proposicional, a tautologia é um fenômeno que pode...

Próximas questões
Com base no mesmo assunto
Q2471532 Raciocínio Lógico
Na lógica proposicional, a tautologia é um fenômeno que pode ser observado na construção de proposições compostas. Considere as seguintes proposições compostas obtidas a partir das proposições simples P e Q: 

R = ¬ [ P ∨ (¬Q) ] ↔ [ (¬P) ∧ Q] S = [ P → Q ] ↔ [ Q ∨ (¬P) ]


Sobre as proposições compostas R e S, pode-se afirmar, corretamente, que: 

Alternativas

Comentários

Veja os comentários dos nossos alunos

R = ¬ [ P ∨ (¬Q) ] ↔ [ (¬P) ∧ Q]

= ¬ (V v F) ↔ ( F v V)

= ¬ V ↔ F

= F ↔ F = V

S = [ P → Q ] ↔ [ Q ∨ (¬P) ]

= (V → V) ↔ (V v F)

= V ↔ V = V

AMBAS SÃO VERDADEIRAS, LOGO AS PROPOSIÇÕES SÃO TAUTOLOGIAS.

Para fazer essa questão basta entender que por ser uma bicondicional e para ser uma tautologia, é só comparar cada lado, e se o resultado de cada lado for igual, é uma tautologia.

Coloca tudo F, se der V no final é TAUTOLOGIA.

Clique para visualizar este comentário

Visualize os comentários desta questão clicando no botão abaixo