Considere as seguintes proposições:
I - (p ∨ q) ⇒ p.
II - (p ∧ q) ⇒ (p ⇔ q).
III - (p ∧ q) ∧ ~ (p ∨ q).
Independentemente dos valores lógicos de p e q, podemos afirmar que I, II e III, nessa ordem, são:
Sejam P, Q e R proposições lógicas simples que compõem a seguinte estrutura proposicional:
(P ⨀ ¬ P) ⋀ [Q → (Q ⨂ R)]
em que ⨀ e ⨂ representam conectivos lógicos ocultos e ¬ P representa a negação de P.
Sabe-se que tal estrutura proposicional é uma tautologia, isto é, seu valor lógico é sempre verdadeiro quaisquer que sejam os valores lógicos individuais de P, Q e R.
Os conectivos ocultados por ⨀ e ⨂ são, respectivamente,
Em Lógica, o conectivo ∨ representa a disjunção exclusiva, de maneira que a operação lógica p ∨ q é verdadeira quando apenas uma das proposições p ou q for verdadeira.
Dadas as proposições simples p e q, é tautológica a proposição composta
Analise as seguintes expressões lógicas, referentes às proposições compostas R, S, T e U,
respectivamente.
Assinale a alternativa CORRETA.
Julgue o próximo item, relacionado à lógica proposicional, considerando os símbolos lógicos comuns e as letras maiúsculas como representativas de proposições simples.
A proposição lógica a seguir é uma tautologia. ~ (Q → P) ˅ [(~B) ˅ (~C)] ↔ ~[(B ˄ C) ˄ (Q → P)]