- Lógica ProposicionalContingência, Contradição e TautologiaContradição
- Lógica ProposicionalTabelas-verdade
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.
De acordo com a regra da contradição, P → Q é verdadeira quando ao supor
verdadeira, obtém-se uma contradição.