Atziri Rodriguez Peña

1101

319166361

Ejercicio 1
La politica economica del gobierno traera a paz social. O la in flacion se dispara. Si hay
optimismo en la poblacion, entonces se trabajara con ahinco; luego la inflación no se disparara. Si
el pueblo no se desespera, se trabajara con ahinco. Si hay optimismo en la poblacion, no habra
desesperacion entre el pueblo. En consecuencia, si la politica economica del gobierno no trae paz
social, Mexico caera en el caos.

1. Escriba las proposiciones simples.

p= La política económica de gobierno traerá a paz social
q= La inflación se dispara
r= Si hay optimismo en la población
s= se trabajará con ahincó
t= Si el pueblo se desespera
v= México caerá en el caos

2. Escriba el razonamiento.
pVq
(r->s)^¬q
¬t->s
r-> ¬t
¬p->v

3. Verifique la de la validez del razonamiento (demostración).

Premisas: pVq, (r->s)^¬q, ¬t->s, r->¬t
conclusión: ¬p->v

renglon formula obs

1 pVq pre 1
2 (r->s)^¬q pre 2
3 ¬t->s pre 3
4 r-> ¬t Pre 4
5 v

2.Demuestre por contradiccion que 2^½ es irracional

p= 2^1/2 es irracional

q= racional

si 2^1/2 es irracional -> ¬racional p->¬q

si es racional entonces 2^1/2 no es irracional ¬p->q

 p q ¬p ¬p->q
1 1 0 1
1 0 0 1
0 1 1 1
0 0 1 0

Es cierto por contradicción

4.- Demostrar los siguientes argumentos por al menos dos métodos

Ejercicio 1:

Premisas: q^t, q->¬r, t->¬r

Conclusión: ¬r

Método 1: Método directo

Renglón Fórmula Observación

1 q^t premisa 1
2 q-> ¬r premisa 2
3 t-> ¬r premisa 3
4 q simplificación (1)
5 ¬r MPP (2) y (4)
6 ¬r conclusión

Método 2: Método indirecto

Renglón Fórmula Observación

1 q^t premisa 1
2 q-> ¬r premisa 2
3 t-> ¬r premisa 3
4 r conclusión negada
5 q simplificación de 1
6 ¬r MPP (2) y (5)
7 r^¬r Contradicción (4) y (6)

∴ Si desaparecemos la conclusión negada, desaparece la contradicción

Ejercicio 2:

Premisas: ¬p->q, r->q, rv¬p, ¬qvs.

Conclusión: s

Método 1: Resolución

Renglón Fórmula Observaciones

1 ¬p->q Premisa 1
2 r->q Premisa 2
3 rv¬p Premisa 3
4 ¬qvs Premisa 4
5 ¬rvq Condicional disyuncional (2)
6 pvq Condicional disyuncional (1)
7 qv¬p Resolución (3) y (5)
8 qvq Resolución (6) y (7)
9 q Ley de Idem. (8)
10 s Resolución (4) y (9)

Método 2: Resolución por refutación

Renglón Fórmula Observaciones

1 ¬p->q Premisa 1
2 r->q Premisa 2
3 rv¬p Premisa 3
4 ¬qvs Premisa 4
5 ¬s Premisa adicional
6 ¬rvq Condicional disyuncional (2)
7 pvq Condicional disyuncional (1)
8 ¬q Resolución (4) y (5)
9 ¬pvq Resolución (3) y (6)
10 qvq Resolución de (7) y (9)
11 q Ley Idem. (10)
12 ¬q^q Conjunción de 8 y 11
(Contradicción)
Ejercicio 3:

Premisas: 𝒓 ∧ ¬𝒔, 𝒓 → ¬𝒑, 𝒔 ∨ ¬𝒒

Conclusión: ¬(𝒑 ∨ 𝒒)

Método 1: resolución por refutación

Renglón Fórmula Observaciones

1 𝒓 ∧ ¬𝒔 Premisa 1
2 𝒓 → ¬𝒑 Premisa 2
3 𝒔 ∨ ¬𝒒 Premisa 3
4 𝑝∨𝑞 Premisa 4 (conclusión negada)
5 ¬𝑟 ∨ ¬𝑝 Equivalencia disyuntiva (2)
6 𝑟 ∨ ¬𝑠 Leyes de Morgan (1)
7 𝑝∧𝑞 Ley de Morgan 4
8 𝑝 Simplificación 7
9 𝑞 Simplificación 7
10 ¬𝑟 Resolución 5 y 8
11 ¬𝑠 Resolución 6 y 10
12 ¬𝑞 Resolución 11 y 3
𝑞 ∧ ¬𝑞 Conjunción 9 y 12
(contradicción)

Método 2:

Renglón Fórmula Observación

1 r^¬s Premisa 1
2 r->¬p Premisa 2
3 sv¬q Premisa 3
4 ¬rv¬p Equivalencia disyuntiva (2)
5 rv¬s Ley de Morgan 1
6 ¬sv¬p Resolución 4 y 5
7 ¬pv¬q Resolución 3 y 6
8 ¬(pvq) Conclusión

5.- Demostrar los siguientes teoremas por resolución

Premisas: ¬pvqvr, ¬q, ¬r

Conclusión: ¬p

Renglón Fórmula Observaciones

1 ¬pvqvr Premisa 1
2 ¬q Premisa 2
 3 ¬r Premisa 3
4 ¬pvr Resolución 1 y 2
5 ¬p Resolución 3 y 4 (conclusión)
Ejercicio 2:

Premisas: ¬pvr, ¬rvq, p

Conclusión: q

Renglón Fórmula Observaciones

1 ¬pvr Premisa 1
2 ¬rvq Premisa 2
3 p Premisa 3
4 ¬pvq Resolución 1 y 2
5 q Resolución 3 y 4 (conclusión)

Ejercicio 4:

Premisas: p->q, pVq

Conclusión: q

Renglón Fórmula Observaciones

1 p->q Premisa 1
2 pVq Premisa 2
3 ¬pVq Condicional disyuncional 1
4 qVq Resolución 2 y 3
5 q Ley de Idem. 4

6. Demostrar los siguientes argumentos por método condicional:

1.-

Renglon Premisas Observaciones

1 pVr pre 1
2 q->r pre 2
3 p->q pre aux
4 p->r resolucion de 1 y 2
6 ¬p->r Condicional Dis de 1
7 r->r resolucion de 4 y 7
8 r conclusion
2.-

Renglon Premisas Observaciones

1 qVr pre 1
2 ¬pV(r->(t->s)) pre 2
3 p->t pre 3
4 ¬(s/\p) pre 4
5 p pre ad
6 p->(r->t) resolucion de 2 y 4
7 ¬p->(¬r->¬t) contra postiva de 6
8 ¬r resolucion de 7 y 3
9 q resolucion de 8 y 1

Ejercicio 7.

Modelar y resolver el siguiente acertijo: Consideremos el siguiente razonamiento acerca de la existencia de

Superman. Si Superman fuera capaz de evitar el mal y quisiera hacerlo, lo haría. Si Superman fuera incapaz de
evitar el mal, no sería omnipotente; si no quisiera evitar el mal sería malévolo. Superman no evita el mal. Si
Superman existe, es omnipotente y no es malévolo. Luego, Superman no existe.
p= superman existe
q= es omnipotente
r= es bueno
s= evitar el mal
t= lo haría
Premisas
s->t
¬s->¬q
¬s->¬r
¬s
(p->q)^r
¬p

conclusion
¬p->(¬q^¬r)