Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Filosofia y Ciudadania Logica Proposicio PDF
Filosofia y Ciudadania Logica Proposicio PDF
LGICA PROPOSICIONAL
- EJERCICIOS RESUELTOS -
2. Simboliza:
a. Si p, entonces q: p q
b. No es el caso que p y q: (p q)
c. p solamente si q y no-r: p (q r)
d. p o no-q: p q
e. Si p y q, entonces no-r o s: (p q) (r s)
f. Si p, entonces q, y si q, entonces p: (p q) (q p)
g. Si p y q, entonces r. p. Luego si q, entonces r: (p q) r, p |- q r
h. Si p y q, entonces r. Si r y s, entonces t. Luego si p y q y s, entonces t:
(p q) r, (r s) t |- (p q s) t
1
Filosofa y Ciudadana Lgica proposicional [Ejercicios resueltos]
2
Filosofa y Ciudadana Lgica proposicional [Ejercicios resueltos]
3
Filosofa y Ciudadana Lgica proposicional [Ejercicios resueltos]
1. p q 2. p q 3. p q 4. q p 5. (p q)
6. (p v q)
4
Filosofa y Ciudadana Lgica proposicional [Ejercicios resueltos]
p q r (p q) r
(pq)r
1 1 1 1 1 1 1 1
p = estar seguro. 1 1 0 1 1 1 1 0
q = decir la verdad. 1 0 1 1 0 0 1 1
r = mentir como un bellaco. 1 0 0 1 0 0 0 0
0 1 1 0 0 1 1 1
0 1 0 0 0 1 0 0
0 0 1 0 0 0 1 1
0 0 0 0 0 0 0 0
a. p q p q p q
1 1 0 0 1
1 0 0 0 0
0 1 1 1 1
0 0 1 0 0
b. p q p q p q
1 1 0 0 0
1 0 0 0 1
0 1 1 0 0
0 0 1 1 1
c. (p q) p p q (p q) p
1 1 1 1 0 1 1
1 0 1 1 1 1 1
0 1 0 0 0 0 0
0 0 0 1 1 1 0
5
Filosofa y Ciudadana Lgica proposicional [Ejercicios resueltos]
d. (p q) p p q ( p q) p
1 1 1 1 1 1 1
1 0 1 0 0 0 1
0 1 0 1 1 0 0
0 0 0 1 0 0 0
e. (p q) p p q (p q) p
1 1 1 1 1 0 0
1 0 1 0 0 0 0
0 1 0 0 1 0 1
0 0 0 1 0 1 1
1 1 01 11 1 1 1 1 1 0 1 1 1 0
1 0 11 00 1 1 0 0 1 0 1 0 1 0
0 1 00 11 0 0 0 1 0 1 1 1 1 1
0 0 00 10 1 0 1 0 1 1 0 0 1 1
a. p q p q p q
1 1 0 1 1
1 0 0 0 0
0 1 1 1 1
0 0 1 1 0
b. (p q) p p q (p q) p
1 1 1 1 1 1 1
1 0 1 0 0 1 1
0 1 0 0 1 1 0
0 0 0 0 0 1 0
6
Filosofa y Ciudadana Lgica proposicional [Ejercicios resueltos]
c. p p P p p
1 1 0 01
0 0 0 10
d. (p q) (p q) p q (p q) (p q)
1 1 1 0 0 0 1 1 0
1 0 1 1 1 1 1 1 1
0 1 0 1 0 0 0 0 0
0 0 0 0 1 0 0 1 1
e. (p q) (p q) p q (p q) (p q)
1 1 1 0 0 1 1 1 0
1 0 1 1 1 1 1 1 1
0 1 0 1 0 1 0 0 0
0 0 0 0 1 1 0 1 1
f. (p q) (p
( q) p q (p q) (p q)
1 1 0 1 1 1 1 1 1
1 0 0 0 0 1 1 0 0
0 1 1 1 1 1 0 1 1
0 0 1 1 0 1 0 1 0
7
Filosofa y Ciudadana Lgica proposicional [Ejercicios resueltos]
r = apelar a su bondad
s = ser engullido
(pq) , [ q (r s )] |- p (r s )
{( p q ) [ q (r s )]} [ p (r s )]
p q r s {( p q ) [ q (r s )]} [ p (r s )]
1 1 1 1 1 1 1 0 1 0 1 0 0 1 1 1 1 1 1 1
1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0
1 1 0 1 1 1 1 0 1 0 0 0 0 1 1 1 1 0 1 1
1 1 0 0 1 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0
1 0 1 1 1 0 0 0 0 1 1 0 0 1 1 1 1 1 1 1
1 0 1 0 1 0 0 0 0 1 1 1 1 0 1 1 1 1 1 0
1 0 0 1 1 0 0 0 0 1 0 0 0 1 1 1 1 0 1 1
1 0 0 0 1 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0
0 1 1 1 0 1 1 0 1 0 1 0 0 1 1 0 1 1 1 1
0 1 1 0 0 1 1 1 1 1 1 1 1 0 1 0 1 1 1 0
0 1 0 1 0 1 1 0 1 0 0 0 0 1 1 0 1 0 1 1
0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 0 1 0 0 0
0 0 1 1 0 1 0 1 0 1 1 0 0 1 1 0 1 1 1 1
0 0 1 0 0 1 0 1 0 1 1 1 1 0 1 0 1 1 1 0
0 0 0 1 0 1 0 1 0 1 0 0 0 1 1 0 1 0 1 1
0 0 0 0 0 1 0 1 0 1 0 0 1 0 1 0 1 0 0 0
a. ( p q ) [ ( p q ) ] p q ( p q ) [ ( p q ) ]
1 1 1 1 1 1 1 0 0 0
1 0 1 0 0 1 0 0 1 1
0 1 0 0 1 1 0 1 1 0
0 0 0 0 0 1 0 1 1 1
b. ( p q ) [ ( p q ) ] p q (p q) [( p q ) ]
1 1 1 1 1 1 1 1 0 0
1 0 1 0 0 1 0 1 1 1
0 1 0 1 1 1 1 0 0 0
0 0 0 1 0 1 1 0 0 1
8
Filosofa y Ciudadana Lgica proposicional [Ejercicios resueltos]
c. ( p q ) [ ( p q ) ] p q ( p q ) [ ( p q ) ]
1 1 1 1 1 1 1 0 0 0
1 0 1 1 0 1 1 0 0 1
0 1 0 1 1 1 1 1 0 0
0 0 0 0 0 1 0 1 1 1
a. Si acepto este trabajo o dejo de pintar por falta de tiempo, entonces no realizar mis
sueos.
He aceptado el trabajo y he dejado de pintar.
Por lo tanto, no realizar mis sueos.
p = aceptar el trabajo.
q = dejar de pintar.
r = realizar mis sueos.
( p q) r, (p q) |- r
p q r [( p q ) r ( p q] r
1 1 1 1 1 1 0 0 1 0 1 1 1 1 0 1
1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 0
1 0 1 1 1 0 0 0 1 0 1 0 0 1 0 1
1 0 0 1 1 0 1 1 0 0 1 0 0 1 1 0
0 1 1 0 1 1 0 0 1 0 0 0 1 1 0 1
0 1 0 0 1 1 1 1 0 0 0 0 1 1 1 0
0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1
0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0
p = ir a Asia.
q = llegar hasta la India.
r = visitar Varanasi.
s = ver el Ganges.
9
Filosofa y Ciudadana Lgica proposicional [Ejercicios resueltos]
p q, p ( q r), q ( r s ) |- p s
p = ser primo.
q = ser compuesto.
r = producto de factores primos.
s = ser divisible por factores primos.
t = ser divisible por s mismo.
u = ser divisible por la unidad.
p q, ( q r ) ( r s ), [ ( p q ) ( t u ) ] r |- ( p q ) s
a. (p q ) -> r, p r |- q
b . (p q) -> r s, r |- s q
p q r [( p q ) r ( p r] q
1 1 1 1 1 1 1 1 0 1 0 0 1 1 0 1
1 1 0 1 1 1 0 0 0 1 1 1 0 1 0 1
1 0 1 1 0 0 1 1 0 1 0 0 1 1 1 0
1 0 0 1 0 0 1 0 1 1 1 1 0 1 1 0
0 1 1 0 0 1 1 1 0 0 0 0 1 1 0 1
0 1 0 0 0 1 1 0 0 0 0 1 0 1 0 1
0 0 1 0 0 0 1 1 0 0 0 0 1 1 1 0
0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0
10
Filosofa y Ciudadana Lgica proposicional [Ejercicios resueltos]
p q r s [( p q ) r s r] ( s p)
1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 1 1 0 1
1 1 1 0 1 1 1 1 1 0 0 0 0 1 1 1 0 0 0 1
1 1 0 1 1 1 1 0 0 0 1 0 1 0 1 0 1 1 0 1
1 1 0 0 1 1 1 0 0 0 0 0 1 0 1 1 0 0 0 1
1 0 1 1 1 1 0 1 1 1 1 0 0 1 1 0 1 1 0 1
1 0 1 0 1 1 0 1 1 0 0 0 0 1 1 1 0 0 0 1
1 0 0 1 1 1 0 0 0 0 1 0 1 0 1 0 1 1 0 1
1 0 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 1
0 1 1 1 0 1 1 1 1 1 1 0 0 1 1 0 1 1 1 0
0 1 1 0 0 1 1 1 1 0 0 0 0 1 1 1 0 1 1 0
0 1 0 1 0 1 1 0 0 0 1 0 1 0 1 0 1 1 1 0
0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 1 1 0
0 0 1 1 0 0 0 1 1 1 1 0 0 1 1 0 1 1 1 0
0 0 1 0 0 0 0 1 1 0 0 0 0 1 1 1 0 1 1 0
0 0 0 1 0 0 0 1 0 1 1 1 1 0 1 0 1 1 1 0
0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 1 1 0
11
Filosofa y Ciudadana Lgica proposicional [Ejercicios resueltos]
{ [ ( p q) ( r s ) ] [ ( r s ) t ] t } p
p: x = 1 ; q: y = 2 ; r: z = 3 ; s: w = 0
{[(pq)r][(qr)s]p}s
12
Filosofa y Ciudadana Lgica proposicional [Ejercicios resueltos]
cuatro ngulos rectos, los cuadrados no tienen cuatro ngulos rectos. Por tanto los
rombos no tienen cuatro ngulos rectos.
[ ( p q ) ( p r ) ( s q ) ] s
d. Si no es cierto que se puede ser rico y dichoso a la vez, entonces la vida est llena
de frustraciones y no es un camino de rosas.Si se es feliz, no se puede tener todo.
Por consiguiente, la vida est llena de frustraciones.
{ [ ( p q ) ( r s ) ] ( q p ) } r
e. La vida no tiene cosas as de fuertes o yo te puedo contar cmo es una llama por
dentro. Si yo te puedo contar cmo es una llama por dentro, entonces pienso
entregarte mi tiempo y pienso entregarte mi fe. No es cierto que piense entregarte mi
tiempo y piense entregarte mi fe. Por lo tanto, la vida no tiene cosas as de fuertes.
{ ( p q ) [ q ( r s ) ] ( r s ) } p
f. Aprobar lgica, si Dios quiere. Aprobar lgica si y slo si estudio y hago todos
los ejercicios. Sin embargo, no he hecho los ejercicios, as que Dios no quiere
que apruebe lgica.
p aprobar lgica
q D quiere que apruebe lgica
r estudio
s hago todos los ejercicios
[(q p) [p (r s)] s] q
g. Si el euro est fuerte, el petrleo est barato pero las exportaciones resultan
caras. Si Europa se endeuda o la economa no crece, el petrleo no estar
barato. La economa crece si y slo si ni las exportaciones resultan caras ni la
inflacin aumenta. Por tanto, si la inflacin aumenta, el euro no est fuerte.
r exportaciones caras
s E se endeuda
t economa crece
u inflacin aumenta
h. Habr inflacin, a menos que se moderen los precios y los salarios. Siempre que
se moderan los salarios pero no los precios, si el Gobierno no interviene ocurre
que el consumo interno disminuye y la economa se ralentiza. Por tanto, cuando
no se moderan los precios, es necesario que el Gobierno intervenga para que la
economa no se ralentice.
p hay inflacin
q moderan precios
r moderan salarios
s gobierno interviene
t consumo disminuye
u economa ralentiza
Formalizaciones equivalentes:
[p (q r)] [(q r) p] [p (q r)]
[(r q) (s (t u))]) [(r q s) (t u))])
[q (s u)] [q (u s)]
Hay otras posibilidades, pero estas formalizaciones son las ms naturales.
a. [ p ( q r ) ] ( [ p ( r q ) ] [ ( q r ) p ] )
14
Filosofa y Ciudadana Lgica proposicional [Ejercicios resueltos]
b. [ p ( q r ) ] ( [ p ( r q ) ] [ ( q r ) p ] )
15