Argumentos

Demostraciones

Argumento 1

Si la novia es atractiva (entonces) el joven hindú sonreirá abiertamente o será infeliz. Si no es feliz (entonces) no tendrá hijos. Por lo tanto, si la novia es atractiva él será feliz y tendrá hijos.

Simbolización:

p: la novia es atractiva

q: el joven hindú sonreirá abiertamente

r: ser infeliz

s: tener hijos

Así quedan las premisas y la conclusión:

p ﬤ ( q ˅ r )

r ﬤ ̴ s

∴ p ﬤ (r ˄ s)

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 p ﬤ (r ˄ s)

A partir de las siguientes premisas:

1. p ﬤ ( q ˅ r )

2. r ﬤ ̴ s

3. s

4. r . Regla __MTT___ Renglón__2,3__

5. q ٧ r. Regla __ AD__ Renglón___4___

6. ~p . Regla__ MPP__ Renglón__1,5___

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 le obtuviste. Usa cuantos renglones necesites.

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

Argumento 2

Si no es cierto que se puede ser ateo y religioso a la vez, entonces la creencia en Dios exige posturas contundentes y no es fácil argumentar al respecto. Por eso, si se es religioso entonces no se puede omitir una prueba racional. Por consiguiente, efectivamente la creencia en Dios exige posturas contundentes.

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

p:

q:

r:

s:

t:

̴(p ˄ q) ﬤ [ ( r ˄ s)]

q ﬤ ̴t

∴ r

Demostrar r

1. ̴(p ˄ q) ﬤ [ ( r ˄ s)]

2. q ﬤ ̴t

3. t

4. ~q . Regla __ MTT__ Renglón__2,3__

5. p٧~q Regla__AD__ Renglón__4___

6. r^s Regla__MPP___ Renglon__1,5__

7. r Regla__SIMP____ Renglon__ 6___

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

En cuanto termines los dos ejercicios envíalo a tu asesor para su retroalimentación y evaluación.

...