A Contradição é toda a proposição em que a última coluna da tabela da verdade é composta somente pelo valor lógico V.
B Tautologia é toda a proposição em que a última coluna da tabela da verdade é composta somente pelo valor lógico F.
C A negação de uma proposição tautológica é uma contradição.
D Contingência é toda a proposição em que a última coluna da tabela da verdade é composta pelos valores V e F, cada um duas vezes obrigatoriamente.
E A proposição p → ~ p é um caso de tautologia.