MATERIAL DE APOYO PARA EL CURSO DE LGICA DEL PROFESOR OSCAR GARCA

LA EQUIVALENCIA

* A equivale a B cuando A es igual a B
* AB es una equivalencia cuando es
una bicondicional tautolgica
p q (p v q) ~(~p.~q)
V V V V V
V F V V V
F V V V V
F F F V F

REGLAS DE REEMPLAZO O
EQUIVALENCIAS
TAUTOLGICAS

1. Leyes generales
Conmutacin (Conm.)
(p.q) (q.p)
(pvq) (qvp)
(pq) (qp)
(p q) (qp)
Asociacin (Asoc.)
[p.(q.r)] [(p.q).r]
[pv(qvr)] [(pvq) v r]
[p(qr)] [(pq) r]
Distribucin (Distrib.)
[(p.q) v r] [(pvr) . (qvr)]
[(pvq) . r] [(p.r) v (q.r)]
[p(q.r)] [(pq).(pr)]
[p(qvr)] [(pq)v(pr)]
De Morgan (De M)
~(p.q) (~pv~q)
~(pvq) (~p.~q)
(p.q) ~ (~pv~q)
(pvq) ~ (~p.~q)

Doble Negacin (DN)
~(~p) p
Tautologa (Tau.)
(p.p.p.p) p
(~pv~pv~pv~p) ~p

2. Definiciones
Implicacin material (Impl.)
(p q ) ( ~p v q)
(p q) ~ (p . ~ q)
Equivalencia (Equiv.)
(p q ) [(pq).(qp)]
(p q) [(p . q) v (~ p . ~ q)]
* Transposicin (Trans.)
(p q) (~ q ~ p)
(p q) ( ~ q ~ p)
Disyuncin inclusiva (DI)
(p v q ) (~ p q )
Disyuncin exclusiva (DE)
(p q ) ~(pq)
(p q ) [(p . ~q) v (~p . q)]
Negacin Conjunta (Def. NC)
(p + q) (~ p . ~ q)
(p + q) ~ (p v q)
Negacin Alterna (Def. NA)
(p | q) (~ p v ~ q)
(p + q) ~ (p . q)

3. Artificios
Exportacin (Exp.)
[(p . q) r) [ p ( q r) ]
Expansin (Expan.)
p [p . (q v ~ q)]
p [p v ( q . ~ q)]


Absorcin (Abs.)
[(p.q)vp] p
[(pvq).p] p
[(p.q)v~p] (~pvq)
[(pvq).~p] (~p.q)

4. Reglas de Equivalencia:
R1) (T . C) C
R2) (T v C) T
R3) (T . T) T
R4) (Tv T) T
R5) ( . C)
R6) ( v C) C
R7) ( . )
R8) ( v )
Donde
T = Tautologa
= Contradiccin
C = Consistencia

















MATERIAL DE APOYO PARA EL CURSO DE LGICA DEL PROFESOR OSCAR GARCA

LA IMPLICACIN

* A implica a B cuando B es una
consecuencia lgica de A
* AB es una implicacin cuando es
una condicional tautolgica
* Una inferencia vlida es cualquier
condicional tautolgico
* Una inferencia invlida es un
condicional contingente o
contradictorio
p q [(pq).~q] ~p
V V F V F
V F F V F
F V F V V
F F V V V

1. Modus Ponens (MP)
P1. pq
P2. p
C. q

2. Modus Tollens (MT)
P1. pq
P2. ~q
C. ~p

3. Silogismo Disyuntivo (SD)
P1. pvq
P2. ~p
C. q

4. Simplificacin (Simp.)
P1. p.q
C. p


5. Adicin (Ad.)
P1. p
C. pvq

6. Conjuncin (Conj.)
P1. p
P2. q
C. p.q

7. Silogismo Hiptetico (SH)
P1. pq
P2. qr
C. pr

8. Dilema Constructivo (DC)
P1. pq
P2. rs
P3. pvr
C. qvs

9. Dilema Destructivo (DDC)
P1. pq
P2. rs
P3. ~qv~s
C. ~pv~r

10. Prueba condicional (PC)
P1. pq
C. p (pq)

11. Prueba por reduccin al absurdo
(PRA)
P1. p (~q.q)
C. ~p



EL MTODO DE LA DEDUCCIN
NATURAL (MDN)
Indicaciones:
1. Simbolizar la inferencia usando la
barra horizontal al final.
2. Se aumentan deducciones bajo la
barra sealando las equivalencias e
implicaciones usadas poniendo entre
parntesis las premisas que intervienen
en el proceso deductivo
3. El ltimo paso debe coincidir con la
conclusin buscada
4. La conclusin del argumento
formalizado debera usar todas las
premisas que estn sobre la barra as
como las deducciones que estn debajo
de la barra, sin embargo, si alguna
premisa no fuera usada ello no afectara
la inferencia.
5. Si hemos usado todas las premisas y
no ha salido la conclusin, deben
aplicarse ms transformaciones lgicas
(equivalencias e implicaciones) hasta
que aparezca la conclusin.

Recomendaciones para MDN
1. Plantea una estrategia. Pregntate
qu tendras qu tener para deducir la
conclusin? Cmo obtengo eso que
me falta? Observa las letras de la
conclusin y ubcalas entre las
premisas. Eso te dar una idea de lo que
tienes que hacer para llegar a la
conclusin



MATERIAL DE APOYO PARA EL CURSO DE LGICA DEL PROFESOR OSCAR GARCA

2. Si veo p.q.r pienso en separarlos
con Simp. tantas veces como
proposiciones haya
3. Si veo una v debo buscar la ~ de una
de sus proposiciones componentes para
aplicar SD.
4. Si veo debo buscar la afirmacin
del antecedente para aplicar MP.
5. Si veo debo buscar la ~ del
consecuente para aplicar MT
6. Si debemos concluir una v recordar
que si hallamos una de sus
componentes, su v con la otra se
deduce por Ad.
7. Si debemos concluir una recordar
que si tenemos la ~ del antecedente
podemos deducir su v con el
consecuente por Ad. para despus
aplicar Impl.
8. Si debemos concluir una recordar
que si tenemos el consecuente podemos
deducir su v con la ~ del antecedente
por Ad. para despus aplicar Conm. y
despus Impl.
9. Es necesario dominar las
equivalencias tautolgicas (AB)
sabiendo reemplazar A por B y B por A
cuando haga falta
10. Si una ~ afecta a una . o v, se
aplica De M.
11 Si vemos
*) pvqvr
*) p.q.r
no es necesario aplicar Asoc. porque
tienen la propiedad Conm. lo cual
garantiza que su ordenamiento no altera

su valor de verdad, pero si se presenta
la necesidad de ordenarlos entonces se
procede a aplicar Asoc.

Ejemplos:
I. 1. (pvq)r
2. p.s / r
3. p Simp. (2)
4. s Simp. (2)
5. pvq Ad. (3)
6. r MP(1,5)

II. 1. (p.q) r
2. p.s
3. q / r
4. p Simp. (2)
5. s Simp (2)
6. p.q Adj.(4,3)
7. r MP (1,6)

III. 1. pvq
2. ~q.s
3. pr/ r
4. ~q Simp. (2)
5. s Simp. (2)
6. p SD (1,4)
7. r MP(3,6)

IV. 1. p~q
2. ~q~s
3. (p~s) ~t
4. rt/ ~r
5. p~s SH (1,2)
6. ~t MP(3,5)
7. ~r MT (4,6)

V. 1. pq
2. rp
3. ~q / ~r
4. ~p MT (1,3)
5. ~r MT (2,4)

VI. 1. ~(rvt)
2. sr / ~s
3. ~r.~t De M. (1)
4. ~r Simp. (3)
5. ~t Simp. (3)
6. ~s MT (2,4)


EJERCICIOS PROPUESTOS
Nivel I
I. Aplique la prueba directa

1) 1. ( p p ) (q q)
2. ( q q ) (p p) / q q

II. Aplique la prueba condicional

1) 1. p
2. ~ (p . ~r)
3. ~ (q . r) / q s

2) 1. r ~( ~q~p)
2. [ r ( s t)] ( s q )
3. r [~ ( s t) ~r]
4. r ( s q )
5. p q / ~st




MATERIAL DE APOYO PARA EL CURSO DE LGICA DEL PROFESOR OSCAR GARCA

III. Aplique la prueba por reduccin
al absurdo

1) 1. p q
2. r
3. ~ (~q p ) ~s / ~(rs)

2) 1. ( q s ) r
2. k t
3. t r / (s k) q

3) 1. p q
2. r (~q p)
3. s (t r) / t s

Nivel II
I. Aplique PC

1) 1. (p q) ( r s )
2. r
3. ( t p ) (u v)
4. (u q) (s v) /t u

2) 1. p (qr)
2. rs
3. (r t) t / q p

II. Aplique PD

1) 1. p q
2. (p q) r
3. (p r) ~s
4. s t / t




Nivel III
I. Aplique PD

1) 1. [pv(qvr)] (sr)
2.t[qv(rvp)]/p[(ts)r]

II. Aplique PC

1) 1. ( p q ) (p r)
2. q p
3. r s / s p

2) 1. (pq)[(rvs)(~t u)]
2. (t v)w / p (rw)

BIBLIOGRAFA:

1) CAMACHO, Luis. (2003) Lgica
Simblica Bsica. Mxico: Limusa.

2) CHVEZ, Alejandro. (2000)
Introduccin a la lgica.

3) COPI, I. & C. COHEN. (2001)
Introduccin a la Lgica.

4) DEAO, Alfredo. (2001)
Introduccin a la Lgica Formal.

5) GAMUT, L. T. F. (2006)
Introduccin a la Lgica.

6) GARCA, scar. (2012) Elementos
de Lgica.



7) LLANOS, Marino. (2003) Lgica
Jurdica. Lima: Logos.

8) MIRO QUESADA, F. (1969)
Iniciacin Lgica.

9) PISCOYA, Luis. (1997) Lgica.

10) PRIEST, G. (2006) Una brevsima
introduccin a la lgica.

11) REA RAVELLO, Bernardo. (2003)
Introduccin a la Lgica.

12) ROSALES, D. (1994) Introduccin
a la Lgica. Lima: Amaru.

13) TRELLES, O. & D. ROSALES.
(2002) Introduccin a la Lgica.