Inferencia Logica

Inferencia Logica

Inferencia
Una inferencia es una evaluación que realiza

la mente entre proposiciones. En lógica
formal, son expresiones bien formadas de un
lenguaje formal que, al serrelacionadas,
permiten trazar una línea lógica de condición
o implicación lógica entre las diferentes . De
esta forma, parte de lo verdadero a lo falso:
posible (como hipótesis) o conocida (como
argumento) dealguna o algunas de ellas,
puede deducirse la verdad o falsedad de
alguna o algunas de las otras.

Inferencia lógica con base
verdadera
Los hombres mueren = premisa 1 = p
Ernesto es un hombre =premisa 2 = q
Por lo tanto Ernesto muere = conclusión
Todos los libros de matemáticas son aburridos
Este es un libro de matemáticas
Este es un libro aburrido
Los niños crecen
Ana es una niña
Anacrecerá
Quien trabaja gana
Yo trabajo
Por lo tanto gano algo

Inferencia lógica con premisa inicial
falsa
Los gatos vuelan
Este es un gato
Este gato puede volar
Los cerdos sudan
Chocho es uncerdo
Chocho suda mucho
La muñeca esta hecha de plastico
Yo tengo una muñeca en la mano
Mi mano esta hecha de plastico

En lógica, especialmente en lógica

matemática, una regla de inferencia esun
esquema para construir inferencias válidas.
Estos esquemas establecen relaciones
sintácticas entre un conjunto de fórmulas
llamados premisas y una aserción llamada
conclusión.

Una inferenciapuede ser:
Inductiva: Si durante la primera semana el
maestro llega 10 minutos tarde, podemos
concluir que todo el semestre va a llegar tarde.
Esta conclusión no necesariamente es válida
porque puede serque el maestro algún día
llegue temprano. En general una inferencia
inductiva es la que se desprende de una o
varias observaciones y en general no podemos
estar seguros de que será verdadero lo queconcluímos.

Deductiva: Cuando se conoce una ley general y se
aplica a un caso particular, por ejemplo se sabe
que siempre que llueve hay nubes, concluímos que
el día de hoy que está lloviendo hay...