EXAMEN RESUELTO:

1. Justifica si los siguientes argumentos son deductivos o inductivos:

a) Si hay riesgo de lluvia, baja el barmetro; pero el barmetro no ha bajado. Por

tanto, no hay riesgo de lluvia.
Argumento deductivo porque pasamos de un enunciado general a una conclusin menos
general.
b) Todo ser humano es mamfero y todo mamfero es vertebrado. Luego todo ser
humano es vertebrado.
Argumento deductivo por lo dicho anteriormente.
c) Scrates es un filsofo y es un ser humano. Platn es filsofo y es un ser
humano. Aristteles es un filsofo y es un ser humano. Descartes es un filsofo. Por
tanto, Descartes es un ser humano.
Argumento inductivo porque pasamos a una conclusin general a partir de premisas
menos generales.
d) Todos los matemticos razonan bien, ya que todos los matemticos nacidos
hasta el ao 2000 han razonado bien.
Argumento inductivo por lo dicho anteriormente.
e) Si los caracteres adquiridos son hereditarios, entonces la amputacin de un
rgano, reiteradamente efectuada a lo largo de una serie de generaciones
consecutivas debera ser heredada por la prole. pero no ocurre que una amputacin
tal sea heredada por la prole. As pues, los caracteres adquiridos no son
hereditarios.
Argumento deductivo.

2. Formaliza y resuelve mediante clculo deductivo el siguiente argumento:

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: acepto este trabajo

q: dejo de pintar por falta de tiempo
r: realizar mis sueos

Simbolizamos la conjuncin mediante el smbolo "&".

-1. (p V q) -> r |- r
-2. p & q
3. p EC 2
4. p V q ID3
5. r MP 1 y 4

3. Formaliza las siguientes proposiciones, confecciona su tabla de verdad y di,

segn el resultado de la tabla de verdad, qu valor de verdad tiene la frmula:
O ests seguro y lo que dices es cierto o mientes como un bellaco

p: ests seguro
q: lo que dices es cierto
r: mientes como un bellaco
(p & q) V r
p q r | (p & q) V r
---------|---------------------
VVV | V V V
VVF | V V F
VFV | F V V
VFF | F F F
FVV | F V V
FVF | F F F

FFV | F V V

FFF | F F F

La frmula es indeterminada

4. Formaliza el siguiente argumento y di cuntas combinaciones de verdad tiene su

tabla de verdad:

Si un animal fabuloso se enfada, te quedas paralizado del susto y si te quedas

paralizado del susto, entonces no puedes sino apelar a su bondad y as no ser
engullido. Por lo tanto, si un animal fabuloso se enfada, tendrs que apelar a su
bondad o sers engullido.

p: un animal fabuloso se enfada

q: te quedas paralizado del susto
r: apelar a su bondad
s: ser engullido
p -> q, q -> r, r -> s |-p -> r V s
El nmero de combinaciones es 16, o, lo que es lo mismo, 2 (valores de verdad: verdadero
o falso) elevado a 4 (nmero de variables).

5. Resuelve los siguientes argumentos mediante clculo deductivo:

a) (s -> t) & (r & t) |- (s -> t) & r

-1. (s -> t) & (r & t)
2. s -> t EC 1
3. r & t EC 1
4. r EC 3
5. (s -> t) & r IC 2 y 3

b) t -> q, (s V r) -> v, (v & q) -> p, t & s |- p

-1. t -> q
-2. (s V r) -> v
-3. (v & q) -> p
-4. t & s
5. s EC 4
6. s V r ID 5
7. v MP 2 y 6
8. t EC 4
9. q MP 1 y 8
10. v & q IC 7 y 9
11. p MP 3 y 10

EJERCICIOS RESUELTOS
El smbolo "&" equivale a la conjuncin.
1)
-1. (s -> t) & (r & t) |- (s -> t) & r
2. s -> t EC 1
3. r & t EC 1
4. r EC 3
5. (s -> t) & r IC 2 y 4
2)
-1. (p & q) & (r & s) |- p & r
2. p & q EC 1
3. r & s EC 1
4. p EC 2
5. r EC 3
6. p & r IC 4 y 5

3)
-1. (p -> q) & (r & q) |- (p -> q) & (r V s)
2. p -> q EC 1
3. (r & q) EC 1
4. r & q DN 3
5. r EC 4
6. r V s ID 5
7. (p -> q) & (r v s) IC 2 y 6

4)
-1. p & (q & r) |- (p & q) & r
2. p EC 1
3. q & r EC 1
4. q EC 3
5. r EC 3
6. p & q IC 2 y 4
7. (p & q) & r IC 6 y 5

5)
-1. t -> q |- p
-2. (s V r) -> v
-3. (v & q) -> p
-4. t & s
5. t EC 4
6. q MP 1 y 5
7. s EC 4
8. s V r ID 7
9. v MP 2 y 8
10. v & q IC 9 y 6
11. p MP 3 y 10

6)
-1. (p V q) -> [q -> (p & q)] |- q <-> (p&q)
-2. r & [(p & q) -> q]
-3. p
4. (p & q) -> q IC 2
5. p DN 3
6. p V q ID 5
7. q -> (p & q) MP 1 y 6
8. q <-> (p & q) ICO 4 y 7

7)
-1. p & (q -> r) |- q <-> r
-2. r -> q
3. (q -> r) EC 1
4. q -> r DN 3
5. q <->r ICO 2 y 4

8)
-1. p <-> q |- r V s
-2. r <-> (p & q)
-3. p
4. p DN 3
5. p -> q ECO 1
6. q MP 4 y 5
7. p & q IC 4 y 6
8. (p & q) -> r ECO 2
9. r MP 8 y 9
10. r V s ID 9

9)
-1. p <-> t |- p & q
-2. s <-> t
-3. (t -> s) <-> q
-4. p
5. p -> t ECO 1
6. t MP 5 y 4
7. t -> s ECO 2
8. (t -> s) <-> q DN 3
9. (t -> s) -> q ECO 8
10. q MP 9 y 7
11. p & q IC 4 y 10

10)

De los siguientes enunciados, determina cules son proposiciones, y de qu tipo.

Indica tambin cules son proposiciones atmicas y moleculares.

a. Es primavera.
ATMICA
b. Los gatos y los perros son mascotas.
MOLECULAR
c. Juan es amigo de Pedro?
NO ES PROPOSICIN (Es una frase interrogativa)
d. Si llueve y hace sol sale el arco iris.
MOLECULAR
e. Cierra la puerta!
NO ES PROPOSICIN (Es una frase imperativa)
f. O vienes o te quedas.
MOLECULAR
g. El cielo es azul y los campos son verdes.
MOLECULAR

11)
Escribe con las conectivas y smbolos de la lgica proposicional o de enunciados las
siguientes
proposiciones.
a. A pesar de que el coche no aceler, hubo un accidente.
p: el coche aceler
q: hubo un accidente
p ^ q
b. Tiene coche y, sin embargo, no sabe conducir.
p: tiene coche
q: sabe conducir
p^q
c. Si no vienes ya, nos vamos a desayunar.
p: vienes ya
q: nos vamos a desayunar
p -> q
d. Si no vienes, jugaremos al baloncesto, solo si viene Jos y el rbitro se presenta o
manda un sustituto.
p: vienes
q: jugaremos al baloncesto
r: viene Jos
s: el rbitro se presenta
t: manda un sustituto
p -> [q < - > ((r ^ s) V t)]
e. Juan canta solo si est contento.
p: Juan canta
q: Juan est contento
p<->q

f. Si Juan est contento, entonces canta.

q -> p

g. Juan canta si est contento y est contento si canta.

(q -> p) ^ (p -> q)