Questão
ID 196079Disciplina: Raciocínio Lógico
Assuntos: Lei Bicondicional, Tautologia
Ano: 2023 Banca: CESPE CEBRASPE - Centro de Seleção e de Promoção de Eventos UnB Órgão: Tribunal de Contas do Distrito Federal
operação lógica | símbolo |
conjunção | ∧ |
disjunção | ∨ |
negação | ~ |
condicional | ⇒ |
bicondicional | ⇔ |
Assumindo que as proposições lógicas simples são representadas por letras maiúsculas e que a tabela precedente relaciona os símbolos lógicos usuais às operações lógicas que eles representam, julgue os itens a seguir.
A proposição lógica (A⇒(B⇒C)) ⇔ ((A∧B)⇒C) é uma tautologia.