Fundamentos da Lógica: Tautologia e Regras de Inferência
Classificado em Filosofia e Ética
Escrito em em
português com um tamanho de 3,54 KB
Tautologia, Contradição e Contingência
Estes conceitos definem a validade de uma proposição composta com base na sua tabela de verdade:
- Tautologia: O resultado da proposição é sempre verdadeiro.
- Contradição: O resultado da proposição é sempre falso.
- Contingência: O resultado da proposição é alternado (verdadeiro e falso).
As Regras de Inferência: Modus Ponens, Modus Tollens e Silogismo Disjuntivo
Modus Ponens (Afirmação do Antecedente)
O Modus Ponens (modo que afirma) é uma forma de inferência ou argumento válido em que, na segunda premissa, se afirma o antecedente e, na conclusão, se afirma o consequente.
A sua estrutura lógica é:
- Se o antecedente se verificar, o consequente verificar-se-á. (P → Q)
- O antecedente verificou-