Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
1. Lgica Informal
1.1. Analizar los argumentos contenidos en los textos
siguientes, indicando sus premisas y conclusiones:
1. Qu beneficia ms? Ser gobernado por un hombre excelente o por
excelentes leyes? ... Mejor es aquello que no est sujeto en absoluto a
pasiones, que aquello a lo cual ellas son connaturales. Ahora bien, esas
pasiones no corresponden a las leyes, mientras que toda alma humana,
necesariamente, las posee. (Aristteles, Pol., III, 10, 1286)
3. Pues si algo fuese bien o mal por naturaleza, deba ser para todos
bien o mal, como la nieve es fra para todos; pero, contrariamente a eso, no
existe bien o mal que sea comn para todos; luego, no existe bien o mal por
1
naturaleza... Pues la misma cosa es estimada un bien por uno (como el
placer por Epicuro), un mal por otro (como por Antstenes): de ah se
derivar, pues, que la misma cosa es bien y mal (Digenes Laercio, Vida de
filsofos ilustres,IX, 101)
1/24
evidente que cada continuo es divisible en partes siempre divisibles... La
misma argumentacin conserva su valor para la magnitud, para el tiempo
y para el movimiento. (Aristteles, Fs., VI, 1, 231)
2/24
cual est incompleta, aun en la marcha de la naturaleza, la sucesin de los
fenmenos del lado de las causas. (E. Kant, Crtica de la Razn Pura)
9. Dado cualquier ente, o bien ese ente es causado o bien no lo es. Por lo
tanto, dado cualquier ente, ese ente es causado o dado cualquier ente, ese
ente no es causado.
3/24
1.3. Explicar por qu los siguientes argumentos son falaces
e indicar qu tipo de falacia ejemplifican:
1. Los filsofos no han podido ofrecer una demostracin irrefutable de
la existencia de Dios. Por lo tanto, Dios no existe.
2. El Lenguaje de la Lgica
Proposicional
2.1. Subrayar en las siguientes oraciones las locuciones que
4/24
expresan las conectivas indicadas entre parntesis:
5
1. Platn no es empirista. (negacin)
2. p r q r
5/24
3. p q p
4. q s t
5. p r q r
2. ((p q) p)
3. (((p p) r) r)
4. (((p q) r) r)
2. (p q) p
3. ((p p) r) r
4. ((p q) r) r
6/24
1. El certificado tiene validez, si est firmado por el director o el
vicedirector.
pq p q
p p q
pq pq
pq (p q) r
9
7/24
pr (q r) ((p q) r)
1. p p q
2. q p q
3. p q p q
4. p q (p r) (q r)
5. (p q) r (p r) (q r)
b. _1. p q
_2. (p q) t
10
3. Simp1 1
4. Ad1 3
5. MP 2,4
c. _1. p q
_2. q (r s)
_3. s t
4. Hiptesis
5. MP 1,4
6. MP 2,5
8/24
7. Simp2 6
8. MP 3,7
9. p t TD 4-8
d. _1. p q
_2. p s
_3. s t
4. Hiptesis
5. MP 1,4
6. Ad1 5
7. Hiptesis
8. MP 3,7
9. DN 8
10. Ad2 9
11. q t Cas 2, 4-6, 7-10
e. _1. (p q) (r s)
_2. q s
3. Hiptesis
4. Simp1 2
5. Prod 3,4
6. MP 1,5
7. Hiptesis
8. Simp2 2
9. MP 6,7
10. Prod 8,9
11. Abs 7-10
11
12. p r TD 3-11
1. p p
2. p p p
3. p p q
4. p q q p
9/24
5. p q (p r) (q r)
1. p (q r), (q r) s, p t t s
2. p q, q s p s
10/24
3. p q, (r q) s p s
4. p q, r (s p), q r s
5. p (q r), r s, q p s
6. p q, r p, q (s t) r t
7. (p q) s, p s
8. (p q) s, t s t p
9. p (q r), (q r) t, p s t u
10. p q, p (s r), q (s t) s
13
5. El Lenguaje de la Lgica de
Predicados
5.1. Subrayar en las siguientes oraciones las locuciones que
expresan predicados e indicar si stos son mondicos o
polidicos:
1. Marte es un planeta.
2. Platn es griego.
11/24
3. Platn no es empirista.
2. Lx (Px Qx) Rx
2. Nada es eterno.
3. No todo es eterno.
12/24
6. Algunos tringulos son equilteros.
2. Vx Px Vx Qx Vx (Px Qx)
13/24
5. LxVy Pxy VyLx Pxy
2. Pa Pb Qa Qb Qc
3. Pa Pb Qa Qb Qc Pc Pd Qd
4. Pa Qa Ra Pb Qb Qc Pc
14/24
3. EG 2
4. Simp2 1
5. EG 4
6. Prod 3,5
7. IG 6
15/24
7. Juan se ama a s mismo. Por lo tanto, no es cierto que nadie ame a
Juan.
8. Los nios tambin son seres humanos. Por lo tanto, el que hace
infeliz a un nio hace infeliz a un ser humano.
10. Tony le corta el pelo a todos los habitantes de Buenos Aires que no
se cortan el pelo a s mismos y slo a ellos. Tony es habitante de Buenos
Aires. Por lo tanto, Tony no le corta el pelo a nadie.
3. Lx Px, Pa Lx Qx Vx Qx
10. LxLy (Pxy Qxy), LxLy (Pxy Rxy), LxLy (Rxy Pxy)
L xLy Qxy
16/24
1. Lx (Px Qx) Vx (Px Qx)
17/24
Guas
Gua 1: Formalizacin en Lgica Proposicional
Negacin A
No A
No es verdad que A
No se da que A
Es falso que A
etc.
Conjuncin A B
AyB
A, pero B
A, aunque B
A, sin embargo B
A, a pesar que B
etc.
Disyuncin incluyente A B
O A o B, o ambas cosas
A y/o B
A a menos que B
A a no ser que B
etc.
Condicional material A B
Si A, entonces B
Si A, B
B, si A
A es condicin suficiente para B
B es condicin necesaria para A
22
A slo si B
No A a menos que B
No A a no ser que B
etc.
Bicondicional material A B
A si y slo si B
A es condicin necesaria y suficiente para B
etc.
18/24
Gua 2: Lgica Proposicional: Semntica
Valuacin: Una valuacin del conjunto de todas las frmulas de la
lgica proposicional es una funcin que asigna a cada frmula de uno de
los dos valores de verdad v (verdadero), f (falso).
19/24
premisas en un sistema de deduccin natural para la lgica proposicional
es
una secuencia finita de frmulas tal que a) cada uno de los miembros de
esa
secuencia es, o bien un miembro de G, o bien una hiptesis provisional, o
bien una frmula que se obtiene de una o ms lneas anteriores de la
secuencia mediante la aplicacin de una regla de inferencia, y b) F es la
ltima lnea de esa secuencia.
20/24
Gua 4: Formalizacin en Lgica de Predicados
a) Formalizacin en lgica de predicados mondicos
i. Proposiciones singulares:
Scrates es griego. Pa
Si Scrates es griego, entonces Scrates es europeo. Pa Qa
a) Cuantificacin de un predicado:
UA Todo es mortal. Lx Px
EA Algo es mortal. Vx Px
UN Nada es mortal. Lx Px
EN Algo no es mortal. Vx Px
i. Proposiciones singulares:
Scrates es el maestro de Platn. Pab
Riobamba est entre Callao y Ayacucho. Pabc
25
ii. Proposiciones generales:
21/24
Para todo par de cosas se da que si la primera es mayor que la segunda,
la segunda es menor que la primera. LxLy (Pxy Qyx)
Ejemplos:
4) Todos los que son vecinos se odian. LxLy (Pxy (Qxy Qyx))
5) Slo los ladrones admiran a los ladrones.=Todos los que admiran a los
ladrones son ladrones. LxLy ((Pxy Qy) Qx)
Pa
_______
Vx Px
Lx Px
_______
Pa
22/24
3) Regla de eliminacin del cuantificador existencial (Instanciacin
existencial) (EP)
Vx Px
Pa
:
A
_______
A
23/24
-1. Vx Px Premisa
-2. Vx Qx Premisa
3. Pa Hiptesis de EP
4. Qa Hiptesis de EP
5. Pa Qa IC, 3, 4
6. Vx (Px Qx) IP, 5
7. Vx (Px Qx) EP, 2, 4-6
8. Vx (Px Qx) EP, 1, 3-7
1. Vx Pxa Premisa
2. Pba Hiptesis de EP
3. Vx Pxa IP, 2
4. LyVx Pxy IG, 3
5. LyVx Pxy EP, 1, 2-4
29
24/24