O documento discute os conceitos lógicos de tautologia, contradição e contingência. Uma tautologia é uma proposição composta que é sempre verdadeira independente dos valores das proposições simples. Uma contradição é sempre falsa. Uma contingência pode ser verdadeira ou falsa dependendo dos valores das proposições simples. Essas características são verificadas por meio da construção de tabelas-verdade.