Sobre os conceitos de Tautologia, Contradição e Contingência, É correto o que se afirma...

Contradição é toda a proposição em que a última coluna da tabela da verdade é composta somente pelo valor lógico V.

Tautologia é toda a proposição em que a última coluna da tabela da verdade é composta somente pelo valor lógico F.

A negação de uma proposição tautológica é uma contradição.

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.

A proposição p $\to$ ~ p é um caso de tautologia.