(1) Uma sentença composta é chamada Tautologia quando seu valor lógico for sempre verdade, independentemente dos valores lógicos das sentenças simples que a compõem. (2) Todas as sentenças contraditórias são equivalentes. (4) A sentença ~P ∧ P é uma tautologia. (8) Existem duas sentenças tautológicas que não são equivalentes.