1) Uma tautologia é uma proposição composta que tem apenas valores lógicos V na tabela verdade. Uma contradição tem apenas valores F e uma contingência tem valores V e F. 2) Exemplos de tautologias incluem p -> p e p <-> p. Exemplos de contradições incluem p ^ ~p. 3) O princípio da substituição tautológica diz que se P(p,q,r) for uma tautologia, então P(Po,Qo,Ro) também será, onde Po, Qo e Ro são proposições

1. Tautologias, Contradições e Contingências