UNIVERSIDAD CATLICA ANDRS BELLO

FACULTAD DE INGENIERA
ESCUELA DE INGENIERA INFORMTICA
LGICA COMPUTACIONAL

Lgica Proposicional
Derivaciones Lgicas
Profesora Gloria Tarro

UNIVERSIDAD CATLICA ANDRS BELLO

FACULTAD DE INGENIERA
ESCUELA DE INGENIERA INFORMTICA
LGICA COMPUTACIONAL

Derivaciones Lgicas
Las derivaciones lgicas o argumentaciones es la demostracin de un
razonamiento. Partiendo de las premisas, usando reglas de
inferencia, se llega a la conclusin.
El mtodo de DEDUCCIN NATURAL, desarrollado por Gentzen,
utiliza 10 REGLAS DE INFERENCIA BSICAS, dos reglas por
cada conector lgico, una para introducir el conector y otra para
eliminarlo. Adicionalmente,
utiliza una REGLA DE COPIA de
frmulas.
Usaremos el mtodo de FITCH que es una manera grfica y muy
didctica de realizar una derivacin.

UNIVERSIDAD CATLICA ANDRS BELLO

FACULTAD DE INGENIERA
ESCUELA DE INGENIERA INFORMTICA
LGICA COMPUTACIONAL

Mtodo FITCH
Regla de Inferencia o Teorema (Siglas)

Numeracin de
los pasos

.
.
.
n

Hiptesis

Subderivaciones o
subrazonamientos

Conclusin

UNIVERSIDAD CATLICA ANDRS BELLO

FACULTAD DE INGENIERA
ESCUELA DE INGENIERA INFORMTICA
LGICA COMPUTACIONAL

Regla de Copia
COPIA (C)
Es una regla de Importacin. Slo se aplica en la misma subderivacin o hacia una subderivacin
abierta ms interna. NO APLICA cuando la frmula que se copia est en una subderivacin ya
cerrada.

.
.
.
.
.

.
.
A

Si tenemos una frmula A,

sta se puede copiar ms
abajo, por razones de
legibilidad o porque
necesitamos la frmula
para aplicar otra regla
Lnea donde est la
frmula A que
queremos copiar

Cn

A
A

A
A

Cn

INCORRECTO!

Cn

Correcto!

A
A Cn

UNIVERSIDAD CATLICA ANDRS BELLO

FACULTAD DE INGENIERA
ESCUELA DE INGENIERA INFORMTICA
LGICA COMPUTACIONAL

Reglas de Inferencia Bsicas

Conjuncin

.
.
.

.
.

Introduccin

Eliminacin

(Producto PROD)

(Simplificacin - SIMP)

Si A es verdadera y B es
verdadera, A B es
verdadera, por lo que se
pueden unir en una
conjuncin

A
.
.
.
B
.
.
AB

Lnea donde est el

primer conjuntor (A)

IC m,n
Lnea donde est el
segundo conjuntor (B)

.
.
x
.
.

AB
.
.
A
.
.
.
B

Si A B es verdadero, A
es verdadera y B es
verdadera, por lo que se
pueden separar A y B

EC m
Lnea donde est la
conjuncin (A B)

EC m

UNIVERSIDAD CATLICA ANDRS BELLO

FACULTAD DE INGENIERA
ESCUELA DE INGENIERA INFORMTICA
LGICA COMPUTACIONAL

Reglas de Inferencia Bsicas

Disyuncin

.
.
.
.
.

A
.
.
.
.
.

Lleva
Lleva guiones
guiones (-)
(-)
porque
porque cierra
cierra
subderivaciones
subderivaciones

Introduccin

Eliminacin

(Adicin ADI)

(Prueba por Casos CAS)

Si A es verdadera,
cualquier disyuncin que
tenga A ser verdadera,
A B ser verdadera
siendo B cualquier frmula
Lnea donde est la frmula
(A) que le vamos aadir otra
frmula con disyuncin

AB

ID m

x.
.

AB

x
y

y
z C

A
.
C

B
.
C

Lneas donde se asume el primer disyuntor (x) y

donde se llega a la conclusin C (x) y se cierra la
subderivacin

Si A B es verdadero,
lo nico que sabemos es
que al menos una de las
frmulas es verdadera,
A o B. Por lo tanto
debemos asumir las dos
como hiptesis. Si
llegamos , en ambas
subderivaciones a la
misma conclusin, esa
conclusin es cierta.
Lnea donde est la
disyuncin (A B)

ED m, x-x, y-y
Lneas donde se asume el segundo disyuntor
(y) y donde se llega a la conclusin C (y) y se
cierra la subderivacin

UNIVERSIDAD CATLICA ANDRS BELLO

FACULTAD DE INGENIERA
ESCUELA DE INGENIERA INFORMTICA
LGICA COMPUTACIONAL

Reglas de Inferencia Bsicas

Implicacin

.
.
.
Lleva
Lleva guiones
guiones (-)
(-)
porque
porque cierra
cierra n
subderivaciones
subderivaciones
.
.

Introduccin

Eliminacin

(Teorema de Deduccin DED)

(Modus Ponendo Ponens MPP)

A
.
.
.
B
.

Si se quiere una
implicacin, podemos
asumir el antecedente A, si
llegamos a B, B es
consecuencia lgica de A,
por lo que se cierra la
subderivacin y se afirma
que AB

Lnea donde se asume como

hiptesis A

AB

II m-n
Lnea donde se
llega a la
conclusin B

.
n

AB
A
.
.
B

Si A B es verdadero
(lnea m) y adicionalmente,
A es verdadero (lnea n),
sabemos con certeza que B
tiene que ser verdadero
para que AB sea
verdadero
Lnea donde est el
antecedente de la
implicacin (A)

EI m,n
Lnea donde est la
implicacin (AB)

UNIVERSIDAD CATLICA ANDRS BELLO

FACULTAD DE INGENIERA
ESCUELA DE INGENIERA INFORMTICA
LGICA COMPUTACIONAL

Reglas de Inferencia Bsicas

Equivalencia

Lleva
Lleva guiones
guiones (-)
(-)
porque
porque cierra
cierra
subderivaciones
subderivaciones

x
.
x
y

.
.

Introduccin

A
.
B
.

B H
.
A
AB

Si se quiere una
equivalencia podemos
asumir el antecedente A, si
llegamos a B, AB, y, si
asumimos B y llegamos a A,
B A, por lo que se cierra
la subderivacin y se
afirma que AB
Lneas donde se asumen
hiptesis

IE x-x, y- y
Lneas donde se
llega a la
conclusin

Eliminacin

.
n

AB

Si A B es verdadero
(lnea m) . La equivalencia
es la igualdad, por lo que si
A es verdadero (lnea n),
sabemos con certeza que B,
y viceversa.

A (puede ser B)

Lnea donde uno de los miembros

de la equivalencia (bien sea A o B)

B (puede ser A)

EE m,n

Lnea donde est la

equivalencia(AB)

UNIVERSIDAD CATLICA ANDRS BELLO

FACULTAD DE INGENIERA
ESCUELA DE INGENIERA INFORMTICA
LGICA COMPUTACIONAL

Reglas de Inferencia Bsicas

Negacin

Lleva
Lleva guiones
guiones (-)
(-)
porque
porque cierra
cierra
subderivaciones
subderivaciones

Introduccin

Eliminacin

(Reduccin al Absurdo ABS)

(Doble Negacin - DN)

A H
.
B
B

.
X
.
.X
.
.n A
.

Se puede usar el recurso

de negar lo que se quiere
encontrar (conclusin). Si
se consigue una
contradiccin significa que
lo asumido no es cierto, es
cierto, lo contrario

Lnea donde se niega la conclusin

IN x - x - x
Lneas donde se
encuentra la
contradiccin

A
.

Si tenemos una DOBLE

NEGACIN, es decir, no
es cierto que no A, eso
implica A. En otras
palabras, negar dos veces
es afirmar.

EN m
Lnea donde est la
doble negacin

UNIVERSIDAD CATLICA ANDRS BELLO

FACULTAD DE INGENIERA
ESCUELA DE INGENIERA INFORMTICA
LGICA COMPUTACIONAL

Reglas de Inferencia Derivadas o

TEOREMAS
Las diez reglas de inferencia bsicas son por s solas suficientes para
resolver todo problema de deduccin formal que se presente dentro
de la lgica proposicional. En la prctica, sin embargo, la resolucin de
argumentos con la exclusiva ayuda de estas reglas resulta demasiado
lenta. Es conveniente, por ello, utilizar reglas derivadas, las cuales no
son otra cosa que "combinaciones de aplicaciones de reglas bsicas.
En trminos de informtica, los teoremas son los procedimientos y
funciones.

UNIVERSIDAD CATLICA ANDRS BELLO

FACULTAD DE INGENIERA
ESCUELA DE INGENIERA INFORMTICA
LGICA COMPUTACIONAL

TEOREMAS
DISTRIBUTIVIDAD (Dist)

Disyuntiva (DD)
Conjuntiva (DC)
A la derecha (DER)

IDEMPOTENCIA (Idem)

Disyuntiva (IdD)
Conjuntiva (IdC)

ABSORCIN (Abs)

Disyuntiva (AbsD)
Conjuntiva (AbsC)

TRADUCCIN O SUPRESIN DE (TI)

TRADUCCIN NEGACIN DE (TNI)
TRADUCCIN DE (TE)
TRADUCCIN DE (TNE)
CONTRARECPROCO o CONTRAPOSICIN (CR)
DOBLE CONTRARECPROCO (DCR)
DOBLE NEGACIN (Dn)
IMPORTACIN Y EXPORTACIN: Importacin (Imp)
Exportacin (Exp)
NO MONOTICIDAD (NOM)
DE MORGAN (DeM)

((A (B C)) ((A B ) (A C)))

((A (B C)) ((A B ) (A C)))
((A (B C)) ((A B ) (A C)))
((A A) A
((A A) A
(A (A B )) A
(A (A B )) A
((A B ) (A B ))
((A B ) (A B))
( (A B ) (A B))
((A B ) ((A B ) (B A))
((A B ) ((A B ) (A B))
( (A B ) ((A B ) (A B))
( (A B ) ((A B) (A B ))
((A B ) (B A))
((A B ) (B A))
(A A)
((A (B C)) ((A B ) C))
((A B ) C)) ((A (B C))
((B C) A) (B A) (C A))
( (A B ) (A B))
( (A B ) (A B))
((A B ) (A B))
((A B ) (A B))

UNIVERSIDAD CATLICA ANDRS BELLO

FACULTAD DE INGENIERA
ESCUELA DE INGENIERA INFORMTICA
LGICA COMPUTACIONAL

OTROS TEOREMAS
EX CONTRADICTIONE QUODLIBET (ECQ)

(A A) B

MODUS TOLLENDO TOLLENS (MTT)

(((A B ) B) A)

MODUS TOLLENDO PONENS (MTP)

(Silogismo disyuntivo)

(((A B ) B) A)
(((A B ) A) B )

SILOGISMO HIPOTTICO (SH)

(((A B ) (B C)) (A C))

MUTACIN DE PREMISAS (Mut)

CARGA DE PREMISAS (CP)

((A (B C)) (B (A C)))

(A (B A))

DILEMA CONSTRUCTIVO (DC)

Simple
Complejo

((A B ) (A C) (B C)) C
((A B ) (A C) (B D)) (C D)

DILEMA DESTRUCTIVO (DD)

Simple
Complejo

((A B) (C A) (C B )) C
((A B) (C A) (D B )) (C D)

UNIVERSIDAD CATLICA ANDRS BELLO

FACULTAD DE INGENIERA
ESCUELA DE INGENIERA INFORMTICA
LGICA COMPUTACIONAL

Revisa los conceptos, los ejemplos hechos en clase y realiza los ejercicios
propuestos en la guas
TODOS TENEMOS ALGO QUE APORTAR, COMPARTE TUS IDEAS!!