Método de la deducción

Método de la
deducción

Una de las formas de demostrar la validez o corrección de un argumento en la lógica

moderna es por el denominado método de la deducción, que consiste en demostrar
argumentos aplicando reglas de inferencia y reemplazo.

La conclusión se deduce de las premisas.

Es importante considerar lo siguiente:
Variables Representan las proposiciones atómicas y se utilizan las letras minúsculas p, q, r, s,
etcétera.

Puntuación Los paréntesis, llaves y corchetes se usarán representando signos de puntuación del
lenguaje natural.

Constantes Para las constantes u operadores que en un lenguaje natural funcionan como
conectores, se utilizan los siguientes signos:
Método de la
deducción

Al igual que en el método de demostración por tablas de verdad, lo primero que

debemos hacer es:

Veamos a continuación en qué consisten algunas reglas aplicables en el método de

la deducción:

Haga clic en cada uno de los botones para visualizar la información

correspondiente.

Reglas de
Reglas de
inferencia y
formación
reemplazo
Método de la
Reglas de
deducción formación

1. Si “p” es una fórmula bien formada, “¬ p” también lo es.

Por ejemplo ...

Si: “el carro es rojo” es una fórmula bien formada,

El decir: el carro no es rojo, también lo es.

Donde:
“p” hace referencia a la fórmula (supuesto): “el carro es rojo”
¬ significa negación
“¬ p” hace referencia a la fórmula (supuesto): “el carro no es rojo”
Método de la
Reglas de
deducción formación

1. Si “p” es una fórmula bien formada, “¬ p” también lo es.

Por ejemplo ...

Si el contrato de compraventa es un acto oneroso, una fórmula bien

formada, decir que el contrato de compraventa no es un acto
oneroso también lo es.

Donde
“p” hace referencia a la fórmula: “el contrato de compraventa es un
acto oneroso”
¬ significa negación
“¬ p” hace referencia a la fórmula: “el contrato de compraventa no
es un acto oneroso también lo es”
Método de la
Reglas de
deducción formación

“p∧q”, “p∨
2. Si “p” y “q” son fórmulas, “p∧ “p∨q”, “p→
“p→q” y “p↔
“p↔q” también lo son.

Veamos una a una dichas fórmulas.

Por ejemplo ...

∧q”
“p∧
“p

Si “pido la indemnización” así como “pido la reinstalación” son

fórmulas,

entonces, decir:

“pido la indemnización y pido la reinstalación”, también lo es

porque se necesita de la veracidad de ambas fórmulas para que

ésta última sea verdad.
Método de la
Reglas de
deducción formación

“p∧q”, “p∨
2. Si “p” y “q” son fórmulas, “p∧ “p∨q”, “p→
“p→q” y “p↔
“p↔q”, también lo son.

Por ejemplo ...

∨q”
“p∨
“p

Si “exijo el cumplimiento del contrato” así como “exijo su rescisión”

son fórmulas
decir
“exijo el cumplimiento del contrato o exijo su rescisión”,
también lo es
porque basta con que se cumpla una de esas fórmulas para que la
disyunción sea verdadera.
 Reglas de
Método de la
deducción formación

“p∧q”, “p∨
2. Si “p” y “q” son fórmulas, “p∧ “p∨q”, “p→
“p→q” y “p↔
“p↔q” también lo son.

Por ejemplo ...

→q”
“p→
“p
Si “privo de la vida a otro” así como “cometo el delito de homicidio”
son fórmulas,

entonces, decir:

“si privo de la vida a otro, entonces cometo el delito de homicidio

también” lo es

porque una es condición necesaria de la otra.

Método de la
Reglas de
deducción formación

“p∧q”, “p∨
2. Si “p” y “q” son fórmulas, “p∧ “p∨q”, “p→
“p→q” y “p↔
“p↔q” también lo son.

Por ejemplo ...

↔q”
“p↔
“p
Si “puedo viajar legalmente a otro país” así como “tengo pasaporte”
son fórmulas,
decir
“puedo viajar legalmente a otro país si y sólo si tengo pasaporte”
también lo es
porque la relación de ambas fórmulas es de necesidad y suficiencia.
 Reglas de
Método de la inferencia y
deducción
reemplazo

Ahora bien, el razonamiento deductivo en la argumentación jurídica se encarga de

demostrar los argumentos jurídicos recurriendo a la verificación de su corrección,
de conformidad con las reglas de inferencia y reemplazo.

En este método lo primero es tener un dominio de las reglas de inferencia y

Reemplazo. Veamos en qué consisten:

Las fórmulas proposicionales bien formadas utilizadas en el método de la deducción

pueden ser premisas de inferencias lógicas, las cuales son razonamientos cuya
culminación consiste en una conclusión lógica que se infiere o deduce de las
premisas necesariamente. Las reglas de inferencia y reemplazo son:

Haga clic en cada uno de los botones para visualizar la información

correspondiente.

Reglas de Reglas de
inferencia reemplazo
 Reglas de
Método de la inferencia y Reglas de
deducción
reemplazo inferencia

Modus ponens (M.P.): p→q Si incumplo una señal de tránsito, entonces soy
acreedor a una multa.
p Incumplo una señal de tránsito

q Por lo tanto , soy acreedor a una multa

Modus tollens (M.T.): p→q Si hago incurrir a otra persona en un error,

entonces me aprovecho de ella.

¬q No me aprovecho de ella

¬p Por lo tanto, no hago incurrir a otra persona en un

error

Silogismo hipotético (S.H.): p→q Si un juez es justo, entonces observa tratados

internacionales.
q→r Si observa tratados internacionales, entonces
aplica control de convencionalidad.

p→r Por lo tanto, si un juez es justo entonces aplica

control de convencionalidad.
 Reglas de
Método de la inferencia y Reglas de
deducción
reemplazo inferencia

Modus ponens (M.P.): p→q Si incumplo una señal de tránsito, entonces soy
acreedor a una multa.
p Incumplo una señal de tránsito

q Por lo tanto , soy acreedor a una multa

Modus tollens (M.T.): p→q Si hago incurrir a otra persona en un error,

entonces me aprovecho de ella.

¬q No me aprovecho de ella

¬p Por lo tanto, no hago incurrir a otra persona en un

error

Silogismo hipotético (S.H.): p→q Si un juez es justo, entonces observa tratados

internacionales.
q→r Si observa tratados internacionales, entonces
aplica control de convencionalidad.

p→r Por lo tanto, si un juez es justo entonces aplica

control de convencionalidad.
 Reglas de
Método de la inferencia y Reglas de
deducción
reemplazo inferencia

Modus ponens (M.P.): p→q Si incumplo una señal de tránsito, entonces soy
acreedor a una multa.
p Incumplo una señal de tránsito

q Por lo tanto , soy acreedor a una multa

Modus tollens (M.T.): p→q Si hago incurrir a otra persona en un error,

entonces me aprovecho de ella.

¬q No me aprovecho de ella

¬p Por lo tanto, no hago incurrir a otra persona en un

error

Silogismo hipotético (S.H.): p→q Si un juez es justo, entonces observa tratados

internacionales.
q→r Si observa tratados internacionales, entonces
aplica control de convencionalidad.

p→r Por lo tanto, si un juez es justo entonces aplica

control de convencionalidad.
 Reglas de
Método de la inferencia y Reglas de
deducción
reemplazo inferencia

Silogismo p∨q Exijo el cumplimiento del contrato o su rescisión

disyuntivo No exijo el cumplimiento del contrato
¬p
(S.D.):
q Por lo tanto, exijo su rescisión

Dilema (p→q) ∧ (r
(p→ →s)
(r→ Si soy buen alumno, entonces obtengo buenas
calificaciones, y si soy mal alumno ,entonces obtengo
constructivo malas calificaciones.
p∨r Soy buen alumno o soy mal alumno
(D.C.):
q∨s Por lo tanto obtengo buenas calificaciones u obtengo
malas calificaciones
Dilema →q) ∧ (r
(p→
(p →s)
(r→ Si pago mis impuestos, entonces mi familia tendrá
destructivo problemas de alimentación y si incumplo mis
(D.D.): obligaciones fiscales, entonces cometo un delito.
¬q ∨ ¬ s Mi familia no tiene problemas de alimentación o no
cometo un delito
¬p ∨ ¬r Por lo tanto, no pago mis impuestos o no incumplo
mis obligaciones fiscales
 Reglas de
Método de la inferencia y Reglas de
deducción
reemplazo inferencia

Simplificación (Simp.): p∧q Soy estudiante de derecho y curso la

materia Lógica
p Por lo tanto, soy estudiante de derecho
Conjunción (Conj.): p Curso el octavo semestre de la
Licenciatura en Derecho
q Obtengo buenas calificaciones
p∧q Por lo tanto, Curso el octavo semestre de
la Licenciatura en Derecho y obtengo
buenas calificaciones
Adición (Ad.): p Soy ser humano

p∨q Por lo tanto, soy ser humano o soy animal

Absorción (Abs.): p→q Si soy trabajador, entonces merezco un

pago
p→(p
(p∧∧q Por lo tanto, si soy trabajador, entonces
) soy trabajador y merezco un pago
 Reglas de
Método de la inferencia y Reglas de
deducción
reemplazo reemplazo

Si sólo nos apoyamos de las reglas de inferencia para demostrar la

validez
o la corrección de un argumento, nos encontraremos con diversas
estructuras que, a pesar de ser validas o correctas, con el simple uso de
las reglas anteriormente dichas no lograremos demostrar tal situación,
por
ello se requiere del uso de las reglas de reemplazo, que, si bien, no son
propiamente estructuras de pensamiento que demuestren la corrección o
incorrección de un argumento, su función radica en transformar la
estructura de los argumentos respetando su coherencia lógica para lograr
demostrar su corrección.

Las reglas de reemplazo son las siguientes:

 Reglas de
Método de la inferencia y Reglas de
deducción
reemplazo reemplazo

Primera Ley de (p∧q) ≡ (¬p ∨ ¬q)

¬ (p∧ Doble negación (D.N.): p ≡ ¬¬p
Morgan (De M):

Segunda Ley de (p∨q) ≡ (¬p ∧ ¬q)

¬ (p∨ Transposición (Trans.): (p→
(p →q) ≡ (¬q→
(¬q→¬p)
Morgan (De M):

Definición del (p→q) ≡ (¬p∨

(p→ (¬p∨q) Implicación material (p→
(p →q) ≡ (¬p ∨ q)
condicional (D.C. (p→
(p →q) ≡ ¬ (p ∧ ¬q) (Imp.):
):

Negación del (p→q) ≡ (p ∧ ¬q)

¬ (p→ Equivalencia material (p ↔ q) ≡ [(p→
[(p→q) ∧ (q→p)]
(q→
condicional (N.C. (Equiv.):
): (p ↔ q) ≡ [(p∧
[(p∧q) ∨ (¬p ∧
¬q)]

Conmutación (p∨q) ≡ (q∨

(p∨ (q∨p) Exportación (Exp.): [(p∧
[(p ∧q) →r] ≡ [p→
[p→ (q→r)]
(q→
(Conm.): (p∧
(p ∧q) ≡ (q∧
(q∧p)

Asociación (Asoc. [p∨ (q∨

[p∨ (q∨r)] ≡ [(p∨
[(p∨q) ∨r]
q)∨ Tautología (Taut.): p p∨p
≡ p∨
): [p∧
[p ∧ (q∧r)] ≡ [(p
(q∧ [(p∧∧q)∨r]
q)∨ p∧p
p ≡ p∧

Distribución (Dist. [p∨ (q∧

[p∨ (q∧r)] ≡ [(p∨
[(p∨q) ∧ (p ∨r)]
(p∨
): [p∧
[p ∧ (q∨r)] ≡ [(p
(q∨ [(p∧∧q) ∨ (p∧
(p∧r)]

Importante: para mejor comprensión del uso de las reglas de reemplazo, remítase al libro de Irving Copi,
“Lógica simbólica”, en Introducción a la lógica,
lógica, p. 105, disponible en http://bit.ly/2dWUefH
consultado: 12/10/16