Esquema Tautologias, proposies logicamente falsas, relaes de

implicao e relaes de equivalncia

Tautologia: o resultado final da tabela verdade vai ser sempre verdadeiro,

independente do valor das proposies simples que as compem. Ou seja,
uma proposio composta que sempre verdadeira, independente do valor
lgico das proposies que as compes.

Proposies logicamente falsas (contradio): o resultado final da tabela

verdade vai ser sempre falso, independente do valor das proposies
simples que as compem.

Relao de implicao: dadas duas proposies, sempre que uma for

verdadeira, a segunda tambm ser verdadeira.

Relao de equivalncia: a tabela verdade de uma proposio igual

tabela verdade de outra proposio.