Logica Para La Solucion De Problemas Actividad 2

Demostraciones

Argumento:

Si llueve o neva, el piso está mojado. Llueve o neva. Luego, el piso está mojado.

Simbolización:

p: llueve

q: neva

r: piso mojado

Así quedan las premisas y la conclusión:

(p ˅ q) ﬤ r )

(p ˅ q)

∴r

Ahora, según lo aprendido tendremos que aplicar las reglas para ver si efectivamente la conclusión se demuestra o se deriva sin problema de las premisas previas.

Así que, debe decir:

Demostrar r

A partir de las siguientes premisas:

1. (p ˅ q) ﬤ r )

2. (p ˅ q)

3. r Regla: MPP Renglón: 1,2

A partir del numero 3 tú debes colocar las premisas que obtienes aplicando las reglas, debes indicar la regla y a partir de qué renglón o renglones la obtuviste. Usa cuantos renglones necesites.

Ahora te ofrecemos dos argumentos para que realices la simbolización y la demostración de la conclusión a partir de las premisas previas.

Argumento 1

Si el gobierno invierte en obra pública, entonces la población mejora su calidad de vida. El gobierno no invierte en obra pública, por lo tanto la población no mejora su calidad de vida.

Simbolización: (coloca tú las proposiciones o enunciados correspondientes, en letra roja como arriba)

p: si el gobierno invierte en obras públicas, la población mejora su calidad de vida

~q: el gobierno no invierte en obras públicas la población no mejora su calidad de vida.

1. si el gobierno invierte, mejora la calidad de vida

2. si el gobierno no invierte no mejora la calidad

∴ no mejora la calidad de vida

Demostrar ~q

1. (p ﬤ q)

2. ~ p

3. ∴ ~ p Regla_MTT___ Renglón__1,2__

No olvides que puedes usar cuantos renglones y reglas necesites, solo indícalo en cada uno hasta llegar a “r”.

Argumento 2

Iván presenta el examen final de lógica, por lo tanto, Iván presenta el examen final de lógica o cursa de nuevo la materia.

Simbolización: (coloca tú las proposiciones o enunciados correspondientes, en letra roja como arriba)

p: Iván presenta el examen final de lógica

q: Iván presenta el examen final de lógica o cursa de nuevo la materia

1. Presento el examen

∴ Iván presenta el examen

Demostrar pvq

1. p

2. p v q Regla_AD_ Renglón__1____

...