Questão 227939

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 \(\rightarrow\) ~ p é um caso de tautologia.