Denomina-se contradição uma proposição que é sempre falsa. Uma forma de argumentação...

Denomina-se contradição uma proposição que é sempre falsa. Uma forma de argumentação lógica considerada válida é embasada na regra da contradição, ou seja, no caso de uma proposição ¬R verdadeira (ou R verdadeira), caso se obtenha uma contradição, então conclui-se que R é verdadeira (ou ¬R é verdadeira). Considerando essas informações e o texto de referência, e sabendo que duas proposições são equivalentes quando possuem as mesmas valorações, julgue os itens que se seguem.

Considere que, em um pequeno grupo de pessoas — G — envolvidas em um acidente, haja apenas dois tipos de indivíduos: aqueles que sempre falam a verdade e os que sempre mentem. Se, do conjunto G, o indivíduo P afirmar que o indivíduo Q fala a verdade, e Q afirmar que P e ele são tipos opostos de indivíduos, então, nesse caso, é correto concluir que P e Q mentem.