REGLAS BÁSICA DE INFERENCIA LÓGICA

Luis Alejandro Inguilan Salazar 222160056

Estudiante de 2do semestre Ingeniería Electrónica
UDENAR

Definición Representación Ejemplo

Simbólica

1. Modus
Ponendo Ponens Afirma el consecuente
(mpp) afirmando el antecedente

2. Modus Negando el consecuente se

Tollendo Tollens puede negar el antecedente
(mtt) de la condicional

3. Modus Negando un miembro de una

Tollendo Ponens disyunción se afirma otro
(mtp) miembro

4. Doble Permite pasar de una premisa

Negación atómica a una conclusión

5. Reglas de Dadas dos proposiciones se

Adjunción (A) pueden juntar en una
proposición molecular,
utilizando el término de enlace
“ y “ y se tendría una
proposición verdadera.
Permite pasar de dos
premisas a la conclusión.

6. Regla de Equivale a la sustitución de

Simplificación (S) una conjunción por uno de sus
componentes
 Argumento que consta de tres
7. Ley de proposiciones, la última de las
Silogismo cuales se deduce
Hipotético (hs) necesariamente de las otras
dos

Si se tiene una proposición

8. Ley de Adición que es cierta, entonces la
(LA) disyunción de aquella
proposición y cualquier otra ha
de ser también cierta

Consiste en cambiar “y” por “o”

9. Leyes De o viceversa en donde se niega
Morgan (DL) cada elemento de la
conjunción o disyunción
negando la fórmula completa

Si disponemos de dos
10. Ley de la premisas que corresponden a
Simplificación dos implicaciones con el
Disyuntiva (d p) mismo consecuente, y sus
antecedentes se corresponden
con los miembros de una
disyunción, podemos concluir
con el consecuente de ambas
implicaciones

Dadas tres premisas, dos de

ellas implicaciones, y la
11. Ley de tercera una disyunción cuyos
Silogismo miembros sean los
Disyuntivo (DS) antecedentes de los
condicionales, se puede
concluir en una nueva premisa
en forma de disyunción cuyos
miembros serían los
consecuentes de las dos
implicaciones
 12. Ley de las Nos permite deducir p qué
Proposiciones implica q y q que implica p de
Bidimensionales la proposición bicondicional de
(l b) pyq

No es válida para la
implicación. Una conjunción es
13. Leyes afirmar que se den dos cosas
Conmutativas a la vez. Con la disyunción es
presentar una elección entre
dos cosas. No importa el
orden en que se presenten

14. Se infiere una sentencia

Contrapositiva condicional a partir de su
contraposición

Una premisa se puede

introducir en cualquier punto
15. Regla de de la deducción pero todas las
Premisa (P) premisas deben ser utilizadas
en la reducción de la
conclusión