adjetivo Afirmação oposta ou contrária a outra: a declaração foi muito contraditória. [Por Extensão] Que afirma algo e, ao mesmo tempo, o oposto do que havia dito. [Jurídico] O que expressa uma discussão judicial; processo que admite a contestação das partes.
Frases contraditórias como a do exemplo acima são chamadas de paradoxos. Normalmente as que caem em concurso são frases do tipo "Eu sou mentiroso", "Esta frase é falsa", e assim por diante. Outro importante tipo de sentença que não é proposição é a chamada sentença aberta ou função proposicional. Exemplo: x+5=8.
Contradição é uma proposição cujo valor lógico é sempre falso. ... A proposição ~(p ν q) Λ (p Λ q) é contraválida, pois a última coluna da tabela-verdade só possui F. Contingência. Quando uma proposição não é tautológica nem contraválida, a chamamos de contingência ou proposição contingente ou proposição indeterminada.
Para detectar rapidamente uma Tautologia, basta analisar a última coluna da Tabela de Verdade que você preencher na resolução da sua questão. Caso a coluna da proposição analisada só tiver valores lógicos verdadeiros, trata-se de uma Tautologia.