Cdigo : F14-PP-PR-

01.04
ANEXO 2 SESIN 3 Versin : 09
Fecha : 25-04-2017
Pgina : 1 de 3

LEYES DE IMPLICACIN

Son aquellas proposiciones compuestas donde un antecedente implica tautolgicamente a un consecuente.

Leyes de las implicaciones lgicas ms comunes son:

A. Ley modus Ponendo Ponens: Se representa de las formas siguientes:

pq o tambin: ( )
p
q
Si se afirma el antecedente de una premisa condicional se concluye en la afirmacin del consecuente.
Ejemplo:
Si llueve demasiado en la noche, entonces no ir a la universidad maana. Llueve demasiado en la noche . Luego:
No ir a la universidad maana.

B. Ley Modus Tollendo Tollens: Se representa por:

pq o tambin: ( ) ~ ~
~q
~p
Si se niega el consecuente de una premisa condicional, se concluye en la negacin del antecedente.
Ejemplo:
Iremos a la central hidroelctrica de Gallito Ciego si no llueve por la noche. Llueve por la noche. Por lo tanto:
No iremos a la central hidroelctrica de Gallito Ciego.

C. Ley del Silogismo Disyuntivo: Se representa por:

pq o tambin: ( ) ~
~p
q
Si se niega uno de los miembros de una premisa disyuntiva, se concluye en la afirmacin de la otra premisa.
Ejemplo:
La UCV se encuentra ubicada en el norte del Per o en todo caso al sur de Chile. La UCV no se encuentra al
sur de Chile. Por lo tanto: La UCV se encuentra ubicada en el norte del Per.
 Cdigo : F14-PP-PR-
01.04
ANEXO 2 SESIN 3 Versin : 09
Fecha : 25-04-2017
Pgina : 2 de 3

D. Ley del Silogismo Hipottico: Se representa por:

pq o tambin: ( ) ( )
qr
pr
Si p q es verdadero y q r es verdadera, entonces p r es verdadero. Esta ley indica que el condicional es
transitivo.
Ejemplo:
Si estudio constantemente el curso de Pensamiento Lgico entonces obtengo excelentes calificaciones. Si
obtengo excelentes calificaciones entonces aprobar el curso de Pensamiento Lgico. Por consiguiente: Si
estudio constantemente el curso de Pensamiento Lgico entonces aprobar el curso de Pensamiento
Lgico.

E. Ley de la Conjuncin: Se representa por:

p o tambin: :
q
pq
Si se tiene una premisa se puede concluir su conjuncin con otra premisa.
Ejemplo:
Psicologa educativa es una experiencia curricular de la carrera profesional de Psicologa.
Por lo tanto: Psicologa educativa es una experiencia curricular de la carrera profesional de Psicologa
y Derecho Laboral es una experiencia curricular de la carrera profesional de Derecho .

F. Ley de la Adicin: Se representa por:

p o tambin:
_______
pq
Si se tiene una premisa se puede concluir su disyuncin con otra premisa.
Ejemplo:
Estudio ingls.
Por consiguiente: Estudio ingls o estudio francs.

G. Ley de la Simplificacin: Se representa por:

pq o tambin:
_______
p
 Cdigo : F14-PP-PR-
01.04
ANEXO 2 SESIN 3 Versin : 09
Fecha : 25-04-2017
Pgina : 3 de 3

De una premisa conjuntiva se puede concluir en cualquiera de sus componentes.

Ejemplo:
23 es un nmero primo, pero 24 es un nmero par.
Por lo tanto: 24 es un nmero par.

H. Ley del Dilema Constructivo: Se representa por:

pq o tambin: ( ) ( ) ( )
rs
pr
qs
Si en la conjuncin de dos condicionales afirmamos los dos antecedentes disyuntivamente, se puede concluir
en la afirmacin disyuntiva de los consecuentes.
Ejemplo:
Si el juez es justo entonces el dictamen ser acertado. Si el acusado es culpable entonces el acusado ir a la crcel.
Se da el hecho que el juez es justo o el acusado es culpable. Entonces: El dictamen ser acertado o el acusado
ir a la crcel.

J. Ley del Absurdo: Se representa por:

p (q ~q) o tambin: ( ~) ~
~p
~p (q ~q) o tambin: ~ ( ~)
p
Ejemplo:
Si el juicio es justo, entonces el acusado ir a la crcel pero el acusado no va a la crcel. Luego: El juicio no es
justo.

K. Absorcin (Abs.) : Se representa por

pq o tambin: [ ( )]
p (q p)
Ejemplo:
Si maana hace sol entonces ir a la playa. Por lo tanto si maana hace sol entonces ir a la playa y hace
sol.