Inferencias lógicas

Inferencia
• Es la relación que existe entre un conjunto de premisas P
llamadas hechos, y una premisa Q llamada conclusión.
Hechos Conclusión
p1 p2
p4
p5 p3
p6

p7…..
Inferencia Q
pn

Inferir: Hacer un juicio o conclusión a partir de los hechos,

proposiciones o principios, sean generales o particulares
Ejemplo
• Sean las proposiciones:
• Todos los animals domésticos merecen ser cuidados.
• Firulais es un animal doméstico.
Por tanto Firulais merece ser cuidado.
Como dar validez a los argumentos
Dado un conjunto de hechos o proposiciones(p1,p2,p3,…pn ) y dada una
proposicion q se dice que la inferencia es válida si:

P1 ^ p2 ^p3^…^pn q
Es una tautología, o sea:

P1 ^ p2 ^p3^…^pn q
Reglas de
inferencia