Solución problemas de aplicación

Problema de aplicación 1.

Analice la validez de la conclusión : “La población de Italia es fuerte Física y

mentalmente”. Para ello debemos hacer los siguientes componentes, los cuales
deben estar consignados en el trabajo colaborativo partiendo de las siguientes
premisas:

Premisa 1: Los pueblos del meridional poseen agudeza mental.

Premisa 2: los pueblos del frio norte son valerosos.

Premisa 3: Italia se ubica en una zona meridional norte.

Premisa 4: Italia se ubica en una zona meridional norte entonces La población de

Italia es fuerte Física y mentalmente

Primera parte de la fase 1.

1.1 Plantear las proposiciones simples.

p: los pueblos del meridional poseen agudeza mental
q: los pueblos del frio norte son valerosos
r: Italia se ubica en una zona meridional norte
s: la población de Italia es fuerte física y mentalmente

1.2 Escribir las premisas en lenguaje simbólico.

Premisa 1: p
Premisa 2: q
Premisa 3: r
Premisa 4: r→s
1.3 Enunciar la conclusión en lenguaje simbólico: s

Segunda parte de la fase 1.

Demostraciones:

1.5 Probar la validez del argumento empleando las tablas de verdad.

(Evaluando si la conjunción de las premisas implican la conclusión.)

 [(pΛq)Λ(rΛs)Λ(r→s)→s] 

p q r s [(p Λ q) Λ (r Λ s) Λ (r → s) → s]
v v v v v v v v v v v v v v v v v
v v v f v v v f v f f f v f f v f
v v f v v v v f f f v f f v v v v
v v f f v v v f f f f f f v f v f
v f v v v f f f v v v f v v v v v
v f v f v f f f v f f f v f f v f
v f f v v f f f f f v f f v v v v
v f f f v f f f f f f f f v f v f
f v v v f f v f v v v f v v v v v
f v v f f f v f v f f f v f f v f
f v f v f f v f f f v f f v v v v
f v f f f f v f f f f f f v f v f
f f v v f f f f v v v f v v v v v
f f v f f f f f v f f f v f f v f
f f f v f f f f f f v f f v v v v
f f f f f f f f f f f f f v f v f

1.6 Probar la validez del argumento empleando las leyes de inferencia.

 [(pΛq)Λ(rΛs)Λ(r→s)→s] 

1. pλq
2. rλs
3. r→s
4. s
5. r por simplificación de 2
6. s por M.P entre 5 y 3
1.7 Verificación con simulador

Problema de aplicación 2.

Alguien envió un paquete a mi casa o el mensajero se equivocó; si el mensajero se

equivocó la dirección de la guía está errada, pero la dirección de la guía no está
errada por lo tanto alguien envió un paquete a mi casa.

Tercera parte de la fase 1.

1.8 Plantear las proposiciones simples.

p: alguien envió un paquete a mi casa
q: el mensajero se equivoco
r: la dirección de la guía esta errada
1.9 Teniendo la declaración de proposiciones simples, plantear las premisas:
1.10 Escribir las premisas en lenguaje simbólico.
Premisa 1: pvq
Premisa 2: q→r
Premisa 3: ¬ r→p

1.11 Enunciar la conclusión en lenguaje simbólico: p

Cuarta parte de la fase 1.

Demostraciones:

1.12 Probar la validez del argumento empleando el método de reducción al

absurdo.

1. p v q
2. q → r
3. ¬ r
_________________
4. ¬ p reducción al absurdo

5. (p v q) & (q → r) hipótesis
6. p v q por simplificación de 5

7. q → r
8. ¬ q M.T entre 7 y 3

9. p silogismo disyuntivo entre 8 y 1

10. p & ¬ p por adjunción de 9 y 4 contradicción