Monografias.com > Matemáticas
Descargar Imprimir Comentar Ver trabajos relacionados

Reglas de inferencias




Enviado por Irina Julio



Partes: 1, 2

  1. Introducción
  2. Desarrollo

Introducción

Antes de hablar acerca de las reglas de inferencia es
bueno resaltar algunos conceptos claros y básicos para el
entendimiento de este; uno de ellos son las
lógica.

La lógica es una rama de la filosofía la
cual estudia la demostración e inferencia valida. Es una
rama de la matemática que se desarrollo en el siglo XIX,
es considerada como la ciencia del razonamiento.

El estudio de la lógica y de las proposiciones
nos ayudara a tener un pensamiento preciso y herramientas para
argumentar claramente situaciones de una manera mas
exacta.

Desarrollo

Existen tres tipos de sistema lógico:

  • 1. Lógicas Clásicas

  • 2. Lógicas no clásicas

  • 3. Lógicas modales

Las proposiciones son afirmaciones con un único
valor de verdad; ó son verdaderas o falsas.

Las reglas de inferencia son también llamadas
reglas de transformación y su principal
característica es que nos permiten dar conclusiones muy
bien formadas y validas a partir de otras premisas.

Las reglas de inferencia se clasifican en:
Atómicas (Simples) y Moleculares (Compuestas)

Dentro de la inferencia encontramos sus reglas en donde
es muy fácil aprender su uso. Se debe utilizar las
preposiciones o formas lógicas nombres que se le
dará a las preposiciones.

Una premisa verdadera conducirá a una
conclusión verdadera.

Monografias.com

La regla de inferencia son argumentos validos breves que
se utilizan dentro de un argumento mas largos como una
demostración.

DEMOSTRACIONES:

Monografias.com

EJEMPLO:

Modus Ponens: Llamada también ley de
separación

  • Si estudio gano los exámenes, me va bien en
    el promedio

Gane los exámenes

Por lo tanto me va bien en el promedio

  • Si me porto bien, iré a la fiesta

Me porte bien

Entonces iré a la fiesta

Modus Tollens:

  • Si pierdo el parcial, entonces sacare mala
    nota

No saque mala nota

Por lo tanto no perdí el parcial

  • Si Manuel esta enfermo , entonces no ira a mi
    cumpleaños

Manuel fue a mi cumpleaños

Entonces Manuel no estaba enfermo

Silogismo Hipotético:

  • Si Manuel habla no esta atento a lo que dice el
    profesor

  • Si no atiende al profesor, no entiende

  • Luego infiero….. Si Manuel no entendió no
    atendió al profesor

Silogismo Disyuntivo:

  • Es enero o es febrero

  • No es febrero

  • Por lo tanto es enero

Adición:

  • Si Manuela estudia

  • Si Manuela Trabaja

  • Luego infiero que Manuela estudia y
    trabaja

  • Si Lina canta

  • Si Lina baila

  • Luego infiero que Lina canta y baila

Una proposición lógica que no es una
tautología (algo que resulta verdadero) se denomina
contingencia.

Las reglas de inferencia pueden ser comprobadas
mediantes las tablas de verdad, obteniéndose siempre una
tautología es decir que los valores verdad son siempre
verdaderos.

Partes: 1, 2

Página siguiente 

Nota al lector: es posible que esta página no contenga todos los componentes del trabajo original (pies de página, avanzadas formulas matemáticas, esquemas o tablas complejas, etc.). Recuerde que para ver el trabajo en su versión original completa, puede descargarlo desde el menú superior.

Todos los documentos disponibles en este sitio expresan los puntos de vista de sus respectivos autores y no de Monografias.com. El objetivo de Monografias.com es poner el conocimiento a disposición de toda su comunidad. Queda bajo la responsabilidad de cada lector el eventual uso que se le de a esta información. Asimismo, es obligatoria la cita del autor del contenido y de Monografias.com como fuentes de información.

Categorias
Newsletter