Eu estava estudando para a prova de Elementos de Matemática, do meu curso técnico, sobre as Regras de Inferência e achei interessante postar as 10 regras aqui no blog.

Abaixo, elas estão listadas de forma simplificada, mas eu recomendo olharem  o blog de
Sophisticis Elenchis, de Vinícius, que contêm as regras com uma explicação mais detalhada.

Regras de Inferência:

I. Regra de Adição (AD):

 (i)     p                  (ii)     p             
      p v q                      q v p

II. Regra de Simplificação (SIMP) :
 (i) p  ^ q            (ii) p  ^ q         
         p                         q

III. Regra da Conjunção (CONJ):
 (i)   p                  (i)   p                
       q   
                    q   
   
p ^ q                   q ^ p
    

    
IV. Regra da Absorção (ABS):
      p -> q   
     p -> (p ^q)


V. Regra Modus Ponens (MP):
 
    p -> q   
      p       
        q
 
VI. Regra  Modus Tollens (MT):
      p -> q   
      ~q      
       ~p

VII. Regra do Silogismo Disjuntivo (SD):
(i)   p v q                (i)  p v q               
       ~p   
                   ~ q   
       
q                          p

VIII. Regra do Silogismo Hipotético (SH):
     p -> q      
     q -> r       
      p
-> r

IX. Regra do Dilema Construtivo (DC):
     p -> q      
     r -> s
     p v r       
      q v s

X. Regra do Dilema Destrutivo (DD):
       p -> q      
       r -> s
     ~q v ~s       
       ~p v ~s


Referências

Abraços,

Facebook Comments
Lógica Matemática: Regras de Inferência

2 thoughts on “Lógica Matemática: Regras de Inferência

Deixar uma resposta

O seu endereço de email não será publicado. Campos obrigatórios marcados com *

X

Pin It on Pinterest

X