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 repre

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,