1 Y 2TRIMESTRE.

1.EJERCICIOS DE FORMALIZACIN
LGICA DE PROPOSICIONES
LINGSTICAS.
1Si los gatos de mi hermana no soltaran
tanto pelo me gustara acariciarlos.
2Si y slo si viera un marciano con mis
propios ojos ,creera que hay vida
extraterreste.
3Una de dos:o salgo a dar un paseo , o me
pongo a estudiar como un energmeno .
4 Si los elefantes volaran supieran tocar el
acorden , pensara que estoy como una
regadera y dejara que me internaran en un
psiquitrico.
5 Prefiero ir de vacaciones o estar sin hacer
nada si tengo tiempo para ello y no tengo que
ir a trabajar.
6Las estrellas emiten luz los planetas la
reflejan , y por otra parte , los planetas giran
alrededor de ellas.

7nicamente si Pablo atiende en clase y

estudia en casa , no se dar que fracase en los
exmenes y no sea apludido .
8Si no es el caso que Pablo atiende en clase y
estudia en casa , entonces fracasar en los
exmenes y no es apludido.
9Cuando uno no tiene imaginacin , la
muerte es poca cosa; cuando uno la tiene, la
muerte es demasiado.
10.Si la gorila es atractiva, el gorila sonreir
abiertamente ser infeliz.Si no es felz, no
procrear en cautividad .Por tanto, si la
gorila es atractiva, entonces , si el gorila no
sonre abiertamente , no procrear en
cautividad.
11Si x=1 e y=2, entonces z=3.Si , si Y=2 ,z=3
entonces w=0.x=1.Por tanto, w=0.
12. Juan partir para Japn, si Mara se queda
en Venecia. Rosa viajar a Luxemburgo o Juan
no partir para Japn. O Mara no se queda en
Venecia o Rosa no viajar a Luxemburgo. Por
consiguiente, Mara no se queda en Venecia.
13. Si la Luna es mayor que la Tierra, la Tierra
es mayor que el Sol. Jpiter es mayor que

Plutn, si la Tierra es mayor que el Sol. Por

tanto, si la Luna es mayor que la Tierra, Jpiter
es mayor que Plutn.
14. Cuando viajo me mareo. Siempre que me
mareo, me entra un hambre atroz. As pues,
siempre que me entra un hambre atroz, viajo.
15. O el amor es ciego y los hombres no son
conscientes del hecho de que el amor es ciego,
o el amor es ciego y las mujeres sacan ventaja
de ello. Si los hombres no son conscientes de
que el amor es ciego, entonces el amor no es
ciego. En conclusin, las mujeres sacan ventaja
de ello.
16. Si Guillermo estudia, obtiene buenas notas.
Si no estudia, lo pasa bien en el colegio. Si no
saca buenas notas, no lo pasa bien en el colegio.
As pues, Guillermo obtiene buenas notas.
17. Cuando Eduardo no juega al baloncesto,
juega al tenis; cuando juega al tenis, juega al
ftbol; no juega al ftbol. Por tanto, Eduardo
juega al baloncesto.
18.. Si la tormenta contina o anochece, nos
quedaremos a cenar o a dormir; si nos
quedamos a cenar o a dormir no iremos maana

al concierto; por consiguiente, iremos maana

al concierto.
2 TRIMESTRE.
Soluciones a los ejercicios de Lgica proposicional

Ejercicios de lgica proposicional

1
EC, ID, DN, IC

-1 (s -> t) & (r & t)

I- (s -> t) & r

2
EC, ID, DN, IC

-1 (p & q) & (r & s)

I- p & r

3
EC, ID, DN, IC

-1 (p -> q) & (r & q)

I- (p -> q) & ( r v s)

4
EC, ID, DN, IC

-1 p & (q & r)
I- (p & q) & r

5
MP

-1. t -> q
-2. s v r -> v
-3. v & q -> p
-4. t & s
I- p

6
IB

-1. p v q -> (q -> p & q)

-2. r & (p & q -> q)
-3. p
I- q <-> p & q

7
IB

-1. p & (q -> r)

-2. r -> q
I- q <-> r

8
EB

-1. p <-> q
-2. r <-> (p & q)
-3. p
I- r v s

9
EB

-1. p <-> t
-2. s <-> t
-3. (t -> s) <-> q
-4. p
I- p & q

10
IN

-1 p & q -> r
-2 r -> s
-3 q & s
I- p

11
IN

-1 q & (r <-> p)
-2 r -> p
I- r

12
IC

-1 t -> q
-2 w -> r
-3 r & q -> p
I- t & w -> p

13
IC

-1 p -> r
-2 (q -> r)
I- (q -> p)

14
IC

-1 p -> (q -> r)
-2 s -> p & q
I- s -> r

15
IC
16
ED
(144)

17
ED

-1 p & q -> r
I- p -> (q -> r)
- 1 q -> r
- 2 t -> q
- 3 s -> q
I- t v s -> r
-1 p -> q
-2 r -> p
-3 t -> r
-4 s -> r
-5 t v s
I- q v w

18
ED

-1 p & (q v r)
I- (p & q) v (p & r)

19
ED

-1 (p v q) v r
2pvq
I- p v (q v r)

20
REGLAS BSICAS
21

-1 q -> p
-2 r -> q
-3 r
I- p
-1 p -> q

REGLAS BSICAS

-2 s v q -> r
-3 p
I- r

22
REGLAS BSICAS

-1 p <-> (q & r)
-2 q & (r -> s)
-3 p
I- s

23
REGLAS BSICAS

-1 p <-> q
-2 s v t -> p
-3 s
I- q v r

24
REGLAS BSICAS

-1 p
-2 p -> q
-3 p & q -> s
-4 s -> t
I- t

25
REGLAS BSICAS

-1 p
-2 p -> q
-3 ( q -> s)
I- s

26
REGLAS DERIVADAS

-1 p -> q
I- q -> p

-1 p -> q
27
-2 q
REGLAS DERIVADAS
I- p
-1 q & r -> s
28
-2 s
REGLAS DERIVADAS
I- q v r
-1 p -> q & r
29
-2 q v r
REGLAS DERIVADAS
I- p
-1 p v q -> r
30
-2 r
REGLAS DERIVADAS
I- q

3 TRIMESTRE.
EJERCICIOS DE TABLAS DE VERDAD Y
FORMALIZACIN MS TABLAS DE
VERDAD

ESTOS EJERCICIOS DE PRUEBA TE

SIRVEN DE MODELO PARA HACER LOS
DEMAS.
1.
p & q -> p
V VV V V
VF F VV
F FVV F
FFFVF
TAUTOLOGA
2.
( p -> q )&( p & q )
VVV F VF FV
V F F F VVV F
F VV F F F FV

F V F F F FVF
CONTRADICCIN
3.
p v ( q -> r )
VV V V V
VV V F F
VV F V V
VV F V F
FV VVV
FF VF F
FV F VV
FV F V F
INDETERMINACION.

Formalice los siguientes argumentos. Una

vez formalizados, Haga su tabla de verdad e
indique si son vlidos (tautologas) o no.
Ejemplo: Jaime se come el polo o se le
derretir; no se derrite el polo; por tanto, Jaime
se come el polo. p = Jaime se come el polo q =
el polo se derrite. (p v q) & q -> p

(p v q)& q -> p
VVV F FVV V
V V F VV F V V
F VV F FVV F
F F F FVF V F
Argumento vlido. Tautologa.
1. Juan partir para Japn, si Mara se queda en
Venecia. Rosa viajar a Luxemburgo o Juan no
partir para Japn. O Mara no se queda en
Venecia o Rosa no viajar a Luxemburgo. Por
consiguiente, Mara no se queda en Venecia.
Juan Japn: p
Mara Venecia: q
Rosa Luxemburgo: r
((q -> p) & (r v p)) & (q v r) -> q
((q->p)&(rvp))&(qvr)->q
2. Si la Luna es mayor que la Tierra, la Tierra es
mayor que el Sol. Jpiter es mayor que Plutn,
si la Tierra es mayor que el Sol. Por tanto, si la
Luna es mayor que la Tierra, Jpiter es mayor
que Plutn.

Luna mayor: p
Tierra mayor: q
Jpiter mayor: r
(p -> q) & (q -> r) -> (p -> r)
(p->q)&(q->r)->(p->r)

3. Cuando viajo me mareo. Siempre que me

mareo, me entra un hambre atroz. As pues,
siempre que me entra un hambre atroz, viajo.
Viajo: p
Mareo: q
Hambre: r
((p -> q) & (q -> r)) ->(r -> p)
((p->q)&(q->r))->(r->p)
4. O el amor es ciego y los hombres no son
conscientes del hecho de que el amor es ciego,
o el amor es ciego y las mujeres sacan ventaja
de ello. Si los hombres no son conscientes de
que el amor es ciego, entonces el amor no es

ciego. En conclusin, las mujeres sacan ventaja

de ello.
Amor ciego: p
Hombres no conscientes: q
Mujeres ventaja: r
((p & q) v (p & r)) & (q -> p) ->r
((p&q)v(p&r))&(q->p)->r
5. Si Guillermo estudia, obtiene buenas notas.
Si no estudia, lo pasa bien en el colegio. Si no
saca buenas notas, no lo pasa bien en el colegio.
As pues, Guillermo obtiene buenas notas.
Guillermo estudia: p
Guillermo notas: q
Guillermo colegio: r
((p -> q) & ( p -> r)) & ( q -> r) -> q
((p->q)&(p->r))&(q->r)->q
6. Cuando Eduardo no juega al baloncesto,
juega al tenis; cuando juega al tenis, juega al
ftbol; no juega al ftbol. Por tanto, Eduardo
juega al baloncesto.

Eduardo baloncesto: p
Eduardo tenis: q
Eduardo ftbol: r
((p -> q) & (q ->r)) & r ->p
( - ) p q)&(q r &r p
( >
>) >
7. Si la tormenta contina o anochece, nos
quedaremos a cenar o a dormir; si nos
quedamos a cenar o a dormir no iremos maana
al concierto; por consiguiente, iremos maana
al concierto.
Tormenta continua: p
Anochece: q
Quedamos a cenar: r
Quedamos a dormir: s
Iremos concierto: t
(((p v q) -> (r v s)) & ((r v s) -> t)) -> t
(((pvq)->(rvs))&((rvs)->t))->t

.) Descubra mediante el procedimiento

de tablas de verdad
si estas frmulas son A.
tautolgicas, contingentes o
contradictorias
1.[Ejercicio 1] p ^ q --> p
2. [Ejercicio 2]p v p --> r
3. [Ejercicio 3]p v (q --> r)
4. [Ejercicio 4](p --> q) ^ (q --> r) --> (p --> r)
5. [Ejercicio 5]p --> (q --> r)
6. [Ejercicio 6]p v q --> (r v s --> p)
7. [Ejercicio 7]p ^ q --> q ^ p
8. [Ejercicio 8](p --> q) ^ p --> q
9. [Ejercicio 9](p --> q) ^ p ^ q
10. [Ejercicio 10](p --> q) ^ (p --> q)
11. [Ejercicio 11](p --> q) ^ q --> p
12. [Ejercicio 12](p --> q) ^ q --> p
13. [Ejercicio 13](p --> q) ^ p --> q

14. [Ejercicio 14](p ^ q) <--> p ^ q

15. [Ejercicio 15](p ^ q) <--> p v q