Reglas de inferencia

Solo disponible en BuenasTareas
  • Páginas : 2 (360 palabras )
  • Descarga(s) : 0
  • Publicado : 14 de mayo de 2011
Leer documento completo
Vista previa del texto
REGLAS DE INFERENCIA

PRESENTADO

POR:
WITHNY JURANNY PARRA ACOSTA

LUZ MARINA CANO
DOCENTE

COORPORACION UNIFICADA NACIONAL DE EDUCACION SUPERIOR CUN
NEGOCIOS INTERNACIONES
LOGICA YPENSAMIENTO MATEMATICO
IBAGUE
2011
REGLAS DE INFERENCIA

Las reglas de inferencia son también llamadas reglas de transformación y su principal característica es que nos permiten dar conclusiones muybien 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 dondees 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.
[pic]
Laregla de inferencia son argumentos validos breves que se utilizan dentro de un argumento más largos como una demostración.

DEMOSTRACIONES:

[pic]

Por ejemplo

Modus Ponens: Llamada también leyde 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
Entoncesiré 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 micumpleañ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, noentiende
• 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:
• SiManuela 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...
tracking img