Hola

Estadística Inferencial
Lógica Inferencial
02 Septiembre de 2010
Lógica Inferencial.
Consiste en obtener una proposición verdadera (conclusión) a partir deuna proposición verdadera dada (premisas) a la que le aplicamos las reglas de inferencia.
Una prueba se desarrolla de acuerdo con las tautologías y a partirde ciertas reglas, denominadas reglas de inferencia, que son necesarias establecerlas desde un principio. Llamaremos correcta a una inferencia que siga lasreglas establecidas.
MODUS PONENDO PONENS  (PP)
 
 
Permite probar que q a partir de p →q y p
Ejemplo:
P: x es múltiplo de 9
q:  x es múltiplo de 3
p→q p 
__________                        
q

MODUS TOLLENDO TOLLENS (TT)
 
      Permite probar que  ~p a partir de p→q  y ~q.
      Ejemplo:
      p: x esmúltiplo de 9
       q: x es múltiplo de 3
        
p→q
  ~q
_____ 
~p

MODUS TOLLENDO PONENS (TP)
 
 
Si p V q es verdadera y se tiene ~p se puedeconcluir que  q: o si se tiene ~q en lugar de ~p, se concluye p.
p V q        p1
~p            p2
________________ 
q

REGLA DE LA SIMPLIFICACIÓN (S)
Sip ۸ q es una premisa de acuerdo con la conveniencia se puede concluir p o se puede concluir q.
Ejemplo:
p: 2 es número y 2 es número primo.
Conclusión: 2es número primo.
Ejemplo:
P2: 2 es número par y 2 es número primo.
Conclusión: 2 es número par.
p ۸ q p1. ó p۸ q p1._______ ____
p q



http://www.informaticos5.trimilenio.net/reglas-inferencia.php