Las Reglas de Inferencia
1
LÓGICA SIMBÓLICA LAS REGLAS DE INFERENCIA Nombre Abreviatura Formulación Esquema 1. Modus ponendo ponens PP Esta ley nos indica que en un silogismo condicional, al afirmar el antecedente es válido afirmar al consecuente. 1) → 2) 3) 2. Modus tollendo tollens TT Esta ley nos indica que cuando tenemos una proposición condicional y se niega el consecuente, entonces es válido negar el antecedente. 1) → 2) ¬ 3) ¬ 3. Modus tollendo ponens TP Esta ley nos indica que en el caso de una disyunción exclusiva, cuando se niega la primera proposición es forzoso afirmar la segunda. 1) ∨ 2) ¬ 3) 1) ∨ 2) ¬ 3) 4. Simplificación S Esta regla establece que de la conjunción de dos proposiciones podemos concluir cualquiera de ellas. 1) ∧ 2) 1) ∧ 2) 5. Adjunción A Consiste en unir dos preposiciones siempre y cuando éstas sean verdaderas. 1) 2) 3) ∧ 6. Doble negación DN Una proposición es idéntica a ella misma cuando le anteceden dos negaciones, pues la primera anula a la segunda. 1) 2) ¬¬ 1) ¬¬ 2) 7. Ley de adición LA Si se tiene una proposición que es cierta, entonces la disyunción de aquella proposición y otra cualquiera ha de ser también cierta. 1) 2) ∨ 8. Ley conmutativa CL Consiste en invertir el orden de los miembros de una conjunción o disyunción sin afectar su significado. 1) ∨ 2) ∨ 1) ∧ 2) ∧ 9. Silogismo hipotético HS Con el antecedente de la primera premisa y el consecuente de la segunda se formará la conclusión. 1) → 2) → 3) → 10. Silogismo disyuntivo DS Dadas tres premisas, se empieza con una disyunción y dos condicionales concluyendo una nueva disyunción formada por los consecuentes de las condicionales. 1) ∨ 2) → 3) → 4) ∨ 11. Simplificación disyuntiva SD Consiste en obtener un miembro de una disyunción a través de una simplificación cuando los dos miembros de la disyunción sean iguales. 1) ∨ 2) 12. Ley de Morgan DL Esta ley permite transformar una disyunción en una conjunción, y viceversa, es decir, una conjunción en una disyunción. 1) ∧ 2) ¬(¬ ∨ ¬) 1) ∨ 2) ¬(¬ ∧ ¬) 13. Ley bicondicional LB Una proposición bicondicional nos permite tomar una o las dos condiciones que la forman. 1) → 2) → 3) ↔ 1) ↔ 2) → 3) →
description
Pruebas de validez e invalidez de los argumentos
Transcript of Las Reglas de Inferencia
-
LGICA SIMBLICA
LAS REGLAS DE INFERENCIA
Nombre Abreviatura Formulacin Esquema
1. Modus
ponendo
ponens PP
Esta ley nos indica que en un silogismo
condicional, al afirmar el antecedente es
vlido afirmar al consecuente.
1) 2) 3)
2. Modus
tollendo
tollens TT
Esta ley nos indica que cuando tenemos
una proposicin condicional y se niega el
consecuente, entonces es vlido negar el
antecedente.
1) 2) 3)
3. Modus
tollendo
ponens TP
Esta ley nos indica que en el caso de una
disyuncin exclusiva, cuando se niega la
primera proposicin es forzoso afirmar la
segunda.
1) 2) 3)
1) 2) 3)
4. Simplificacin S
Esta regla establece que de la conjuncin
de dos proposiciones podemos concluir
cualquiera de ellas.
1) 2)
1) 2)
5. Adjuncin A Consiste en unir dos preposiciones
siempre y cuando stas sean verdaderas.
1) 2) 3)
6. Doble
negacin DN
Una proposicin es idntica a ella misma
cuando le anteceden dos negaciones, pues
la primera anula a la segunda.
1) 2)
1) 2)
7. Ley de adicin LA
Si se tiene una proposicin que es cierta,
entonces la disyuncin de aquella
proposicin y otra cualquiera ha de ser
tambin cierta.
1) 2)
8. Ley
conmutativa CL
Consiste en invertir el orden de los
miembros de una conjuncin o disyuncin
sin afectar su significado.
1) 2)
1) 2)
9. Silogismo
hipottico HS
Con el antecedente de la primera premisa
y el consecuente de la segunda se formar
la conclusin.
1) 2) 3)
10. Silogismo
disyuntivo DS
Dadas tres premisas, se empieza con una
disyuncin y dos condicionales
concluyendo una nueva disyuncin
formada por los consecuentes de las
condicionales.
1) 2) 3) 4)
11. Simplificacin
disyuntiva SD
Consiste en obtener un miembro de una
disyuncin a travs de una simplificacin
cuando los dos miembros de la disyuncin
sean iguales.
1) 2)
12. Ley de
Morgan DL
Esta ley permite transformar una
disyuncin en una conjuncin, y viceversa,
es decir, una conjuncin en una
disyuncin.
1) 2) ( )
1) 2) ( )
13. Ley
bicondicional LB
Una proposicin bicondicional nos
permite tomar una o las dos condiciones
que la forman.
1)
2)
3)
1)
2)
3)
