GABARITO: C
Contradição => quando a proposição possui somente valores lógicos falsos.
Contingência => quando a proposição possui valores lógicos verdadeiros ou falsos.
Tautologia => quando a proposição possui somente valores lógicos verdadeiros.
Essas particularidades podem ser descobertas através da montagem da tabela verdade, porém, na maioria das questões não se faz necessário usar a tabela verdade, então sabendo quando cada conectivo lógico é verdadeiro ou falso já dá para resolver a questão.
A)Uma pessoa mente se e somente se não fala a verdade.
Errada. ''Mentir'' e ''não falar a verdade'' é a mesma coisa, então se ''mentir'' for falso, ''não falar a verdade'' também será falso, então F <--> F = V, caso ''mentir'' seja verdadeiro, ''não falar a verdade'' também será, ficando V <--> V = V, portanto temos tautologia, não contradição.
B)Todos os cachorros são mamíferos, mas nem todos os mamíferos são cachorros.
Errada. ''Mas'' em raciocínio lógico significa ''e''.
Temos uma proposição composta ligada pela conjunção ''e'', que só será verdadeiro quando as duas partes forem verdadeiras. Se a primeira parte for V a segunda pode ser F e a proposição ficará falsa, porém, se a primeira parte for V e a segunda for V, então a proposição ficará verdadeira. Como podemos ter valores lógicos verdadeiros e falsos, trata-se de contingência, não contradição.
C) Eu falo a verdade se e somente se eu minto.
Correta. A bicondicional só é verdadeira quando as duas partes possuem valores iguais. ''Eu falo a verdade'' é o oposto de ''eu minto'', então se uma for verdadeira a outra será falsa, portanto, valores lógicos diferentes, bicondicional falsa. Portanto, encontramos nossa contradição.
D) Maria vai trabalhar ou Maria não vai trabalhar.
Errada. Sempre que você se deparar com uma proposição do tipo p v ~q, será tautologia. ''Maria vai trabalhar'' e ''Maria não vai trabalhar'' são opostas, então uma é verdadeira e outra é falsa. Como o ''ou'' exige apenas uma verdade, então essa proposição sempre será verdadeira, pois uma das duas proposições é verdadeira.
E) Um argumento verdadeiro não é falso.
Errada. Temos uma proposição simples verdadeira, portanto é uma tautologia.