You are on page 1of 30

Leyes y reglas

lgicas
Leyes lgicas
Deduccin natural o Derivaciones

Mag. Alfredo Mora

Los tres
principios
lgicos
clsicos
Desde Aristteles hasta nuestros das se
suele hablar de las tres leyes o principios
lgicos clsicos.

Identidad
No contradiccin
Tercio excluso

Principio de Identidad
Un libro de lgica es un libro de lgica
Un lapicero es un lapicero
Ud es Ud si y solo si Ud es realmente Ud
Generalizando :
Algo es algo determinado si y slo si
es ese algo determinado.
p

Principio de no
contradiccin
No es posible que esto sea un libro de
lgica y no sea un libro de lgica.
No es posible que yo sea yo y que a la vez
no sea yo.
Generalizando:
No es posible que algo sea y no sea lo
mismo al mismo tiempo y en el mismo
sentido.

Principio de Tercio
excluso
Este es un libro de lgica o no es un
libro de lgica.
El es Jaime o no es Jaime.
Generalizando:
Esto es aquello o no es aquello.
p v

Y para qu me sirven
estos 3 principios?
Cualquier lenguaje y sistema de
lgica clsica (donde se incluye la
lgica proposicional), considera estos
principios como supuestos bsicos.

Equivalencias notables
Reglas o leyes lgicas basadas en la
equivalencia lgica, esto es, sostiene
la equivalencia de una variable o una
formula con otra variable
proposicional o formula. Dicha
equivalencia es lgicamente valida
pues (el bicondicional o equivalencia)
es tautolgica.

Equivalencias notables
(1/2)
Eliminacin de la Doble Negacin (E.D.N.):
~~A A
Teorema de De Morgan (DM):
~(A B) (~ A v ~ B)
~(A v B) (~ A ~ B)
Conmutacin (Conm):
(A B) (B A)
(A v B) (B v A)
Asociacin (Asoc.):
[A (B C)] [(A B) C]
Distribucin (Dist.):
[A (B v C)] [(A B) v (A C)]
[A v (B C)] [(A v B) (A v C]

Equivalencias notables
(2/2)
Transposicin (Transp.):
(A

Implicancias notables
Reglas o leyes lgicas basadas en la
implicancia lgica, esto es; sostiene
la derivacin de una variable o
formula desde otra variable
proposicional o formula. Dicha
implicancia es lgicamente valida
pues (el condicional o implicancia) es
tautolgica.

Implicancias notables
(1/3)
1.- Modus Ponens (M.P.)


D)

Otra manera de
representarlo
es:
A B
A
B
Otra manera de
representarlo
es:
A B
B
A
Otra manera de
representarlo
es:
A B
C D
AvD

Implicancias notables
(2/3)
4.- Dilema destructivo (D.D):
{ D)


C)

Otra manera de
representarlo
es:
A B
C D
B v D
A v C
Otra manera de
representarlo
es:
AB
BC
A C
Otra manera(s) de
representarlo(s):
AvB
A
(~B)
B
(A)

Implicancias notables
(3/3)
7.- Adicin (Adic.):
A

Otra manera de
representarlo
es:
A
AvB

Otra manera(s) de
representarlo(s):
AB
A

(B)

Equivalencias e
Implicancias notables

EJERCICIOS

Deduccin Natural o
Derivaciones
El mtodo y sus reglas- denominado
Deduccin natural fue propuesto en 1934 por
el lgico Gerhard Gentzen. Desde entonces
se conocen diversas variantes de ellas (v. gr.
las de Jaskowski, Fitch, Iseminger, etc.).
El mtodo que estudiaremos no es el original
de Gentzen sino una versin modificada, mas
pedaggica e intuitiva pero con mayor
nmero de reglas, comnmente conocido con
el nombre de Derivaciones.

Procedimiento
Estas reglas de derivaciones estn formadas
por el conjunto de las reglas de Implicancia
as como Equivalencia. Sin embargo, por su
naturaleza no algortmica, la aplicacin de
cada una de ellas no est establecida de
antemano, sino que, depende de la habilidad
del ejecutante el hallar cul es la ms
adecuada para llegar a la conclusin. En ese
sentido no necesariamente hay una nica
solucin posible.
Hay 3 tipos de procedimientos :

Procedimiento /
prueba directa
Consiste en derivar la conclusin
indicada de las premisas dadas.
Dicha derivacin o deduccin se
hace introduciendo premisas
derivadas de algunas de las premisas
ya establecidas y que se han
obtenido mediante la aplicacin de
alguna Regla de Implicancia o
Equivalencia.

Procedimiento /
prueba directa
Ejemplito 1 :
1. p

Solucin del ejemplito 1:


1.

Procedimiento /
prueba directa
Ejemplito 2 :
1. q



Solucin del ejemplito 2:


1.

q p

2.

~r ~r

3.

4.

(p ~ r) s

/ (p r) v s

5.

De 1 y 3 por Modus Ponens.

6.

~r

De 2 por Idempotencia.

7.

p ~r

De 5 y 6 por Conjuncin.

8.

De 4 y 7 por Modus Ponens.

9.

s v (p r)

De 8 por Adicin.

10 10. (p r) v s

De 9 por Conmutacin.

Procedimiento /
prueba condicional
Esta prueba es una variante de la
Prueba Directa y se aplica
nicamente cuando tenemos
conclusiones que presentan, como
operador principal o de mayor
jerarqua, el condicional. Por ejemplo:
1. r

Procedimiento /
prueba condicional
Ejemplito 3 :
1. r


Solucin del ejemplito 3:


(Paso 1)
1.

rp

2.

~p v q

3.

~ q q / r (r s)

4.

Pr. Ad.

5.

~q

De 3 por Idempotencia

6.

~p

De 2 y 5 por Silog. Disyuntivo

7.

~r

De 1 y 6 por ModusTollens

8.

~rvs

De 7 por Adicin

9.

rs

De 8 por Def. Condicional

Solucin del ejemplito 3:


(Paso 2)
1. r p
2. ~p v q
3. ~q ~q / r (r s)
4. r
Pr. Adic.
5. ~q
De 3 por Simplificacin
6. ~p
De 2 y 5 por Silog. Disyuntivo
7. ~ r
De 1 y 6 por Modus Tollens
8. ~ r v s De 7 por Adicin
9. r s De 8 por Def. Condicional
10. r (r s) De 4 - 9 por Pr. Cond.

Procedimiento
indirecto o Reduccin
al
absurdo
Consiste en partir de la suposicin
que la conclusin no se deriva de las
premisas; si se demuestra que ello es
contradictorio, entonces se deduce
que la conclusin deriva a partir de
las premisas.

Procedimiento
indirecto o Reduccin
al absurdo
Ejemplito 4 :
1. 1. (p ~q)


Solucin del ejemplito 4:


(Paso 1)

1. (p ~q) (q r)
2. r p
3. ~s q / s
4. ~ s
Pr. Ad.
5. q
De 3 y 4 por Modus Ponens
6. q r De 1 por Simplificacin
7. q p De 6 y 2 por Silog. Hipottico
8. p ~q De 1 por Simplificacin
9. q ~q De 7 y 8 por Silog. Hipottico
10.~q
De 9 y 5 por Modus Ponens
11.q ~q De 5 y 10 por Conjuncin

Solucin del ejemplito 4:


(Paso 2)
1. (p ~q) (q r)
2. r p
3. ~s q / s
4. ~ s
Pr. Ad.
5. q
De 3 y 4 por Modus Ponens
6. q r
De 1 por Simplificacin
7. q p
De 6 y 2 por Silog. Hipottico
8. p ~q
De 1 por Simplificacin
9. q ~q
De 7 y 8 por Silog. Hipottico
10.~q
De 9 y 5 por Modus Ponens
11.q ~q
De 5 y 10 por Conjuncin
12. ~s (q ~q) Pr. Cond. 4 11
13. ~~s
De 12 por Reduc.al Absurdo
14. s
De 13 por Elim. Doble Negacion

Deduccin natural o
Derivaciones

EJERCICIOS