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,