Trabajo Logica Leyes De Inferencia

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 delas proposiciones nos ayudara a tener un pensamiento preciso y herramientas para argumentar claramente situaciones de una manera más 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 detransformació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 laspreposiciones.
Una premisa verdadera conducirá a una conclusión verdadera.

La regla de inferencia son argumentos válidos breves que se utilizan dentro de un argumento más largos como una demostración.

DEMOSTRACIONES:

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 está 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 está 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:
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 denominacontingencia.
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.

COMPROBACION DE LA LEY DEL SILOGISMO:
A
B
C
A B(1)
B C(2)
A C(3)
1 ^ 2
(1^2) 3
V
V
V
V
F
F
F
F
V
F
V
F
V
F
V
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
V
V
F
F
V
V
F
V
V
V
F
F
V
V
V
V
V
F
F
F
V
F
F
V
V
V
V
V
V
V
V
VCOMPROBACION DEL MODO DISYUNTIVO:
L
M
? L
L ? M
( L? M ) ^ ? L
( L ? M ) ^ ? L M
V
V
F
F
V
F
V
F
F
F
V
V
V
V
V
F
F
F
V
F
V
V
V
V
 

Silogismo hipotético
silogismo hipotético es aquel tipo de silogismo o más bien regla de inferencia que en su expresión plantea un caso hipotético, por lo cual puede tener términos válidos o no. En la lógica proposicional un silogismo hipotético puede expresar una reglade inferencia, mientras que en la historia de la lógica los silogismos hipotéticos han sido una antelación de la teoría de las consecuencias.
En lógica proposicional
El silogismo hipotético es un argumento válido si sigue la siguiente forma argumental:
Entonces (ergo), P → R.
 Representa la aserción lógica.
En otro términos, en este tipo de argumentos si A implica a B, y B implica a C, transitivamente elprimero (A) implica al tercero (C). Un ejemplo de silogismo hipotético es el siguiente:
Si no me despierto, no puedo ir a la fiesta.
Si no voy a la fiesta, no me divertiré.
Entonces, si no me despierto no me divertiré.
Nótese que el carácter condicional facilita, aunque no necesariamente, una posible falacia. En el caso dado se está implicando [→] casi absolutamente una posible fiesta con una...