1 - Adição: p |- p v q
2 - Simplificação: p ^ q |- p
3 - Conjunção: p, q |- p ^ q
4 - Absorção: p -> q |- p -> (p^q)
5 - Modus Ponens: p -> q, p |- q
6 - Modus Tollens: p -> q, ~q |- ~p
7 - Silogismo Disjuntivo: p v q, ~p |- q
8 - Silogismo Hipotético: p -> q, q -> r |- p -> r
9 - Dilema Construtivo: p -> q, r -> s, p v r |- q v s
10 - Dilema Destrutivo: p -> q, r -> s, ~q v ~s |- ~ p v ~r
As Regras de Inferência, cujo nome já descreve, servem para avaliar a implicação lógica entre premissas.
Temos a forma: p -> (q -> r), p -> q, p |- r
Para provar que essa forma implica logicamente, podemos utilizar a tabela verdade da seguinte forma:
Utilizando as regras de inferência, vemos que pode ser muito mais simples verificar e provar que a forma implica logicamente. Veremos adiante:
Espero ter ajudado! ;)
ConversãoConversão EmoticonEmoticon