Ejercicio 1: Proposiciones categóricas

Para el desarrollo de este ejercicio, es necesario que el estudiante revise

en el Entorno de Conocimiento (Unidad 3), la siguiente referencia:

 Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos.

Distrito Federal, MÉXICO: Grupo Editorial Patria. (pp. 61-65.)

Una vez realizada la lectura, desarrolle el ejercicio propuesto.

Descripción del ejercicio

A continuación, encontrará las proposiciones categóricas para el

desarrollo del ejercicio 1:

p: Ningún tutor de Pensamiento Lógico es Licenciado en Matemáticas

q: Algunos tutores de Pensamiento Lógico son Licenciados en

Matemáticas

 Establecer su estructura de acuerdo con la siguiente tabla:

ESTRUCTURA

Cuantificador Término Sujeto Cualidad o Cúpula Término Predicado

ningún tutor es Licenciado
 ESTRUCTURA

Cuantificador Término Sujeto Cualidad o Cúpula Término Predicado

algunos tutores son Licenciados

 Determine el tipo de proposición (A, E, I, O).

 Universal negativa (proposiciones-E): Ningún S es P o Todo

S no es P. Cuantificador universal negativo o Cuantificador
universal y cualidad negativa.

 De acuerdo a la determinación anterior y teniendo el siguiente

esquema, establezca si las proposiciones son contrarias, de
contingencia o subcontrarias. Requisito para este paso las
proposiciones deben tener el mismo término sujeto y predicado.

p
p

De acuerdo al esquema propuesta p y q son Subcontrarias

Descripción del ejercicio:

A continuación, encontrará una serie de razonamientos para el desarrollo

del ejercicio 2:

b. El 31 de octubre es el día de los niños, éste día se acostumbra que

los niños pidan dulces por lugares cercanos a su hogar en compañía
de un adulto. El índice de robos de niños el día de Halloween ha
aumentado por lo tanto la costumbre de sacar a los niños a pedir
dulces se ha perdido.

El Razonamiento es deductivo

• Argumentar la respuesta con sus propias palabras.

Recordemos que el razonamiento deductivo parte de una idea general

para así llegar a una conclusión, la idea general en este caso es El índice
de robos de niños el día de Halloween ha aumentado, por esta razón nace
la conclusión de que la costumbre de sacar a los niños a pedir dulces se
ha perdido

Ejercicio 3: Problemas de aplicación

Para el desarrollo de este ejercicio, es necesario que el estudiante revise

en el Entorno de Conocimiento (Unidad 3), la siguiente referencia:

 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de

sistemas y computación. (pp. 78 - 99). Ediciones Elizcom, Madrid.
Una vez realizada la lectura, desarrolle el ejercicio propuesto.

Descripción del ejercicio

A continuación, encontrará la expresión simbólica, las premisas y la

conclusión de un argumento para el desarrollo del ejercicio 3:

a. Expresión simbólica:
[(𝑝 ∨ 𝑞) ∧ (𝑞 ⟶∼ 𝑟) ∧ (∼ 𝑟 ⟶ 𝑠) ∧ (∼ 𝑝) ∧ (𝑠 ⟶ 𝑟)] ⟶ (𝑟)

Premisas:
P1: (𝑝 ∨ 𝑞)
P2: (𝑞 ⟶∼ 𝑟)
P3: (∼ 𝑟 ⟶ 𝑠)
P4: (∼ 𝑝)
P5: (𝑠 ⟶ 𝑟)

Juanito tiene que realizar la portada de lógica o maría es la que tiene que
hacer todo el trabajo de lógica. Y maría es la que tiene que hacer todo el
trabajo de lógica por lo tanto no aprobaran la nota con un 100%. Y no
aprobarán la nota con un 100% por lo tanto deberán estudiar y varios
libros de lógica. Juanito no tiene que realizar la portada de lógica. Y
deberán estudiar y varios libros de lógica por lo tanto aprobarán la nota
con un 100%. Por consiguiente, aprobaran la nota con un 100%
  Generar una tabla de verdad con el simulador Lógica UNAD a partir
del lenguaje simbólico (El estudiante encontrará la Guía para el uso
de recursos educativos Simulador Lógica UNAD, en el Entorno de
Aprendizaje Práctico, así como el link de acceso al recurso)

Truth Table
p q r s [(pVq)Λ(q→¬r)Λ(¬r→s)Λ (¬p)Λ (s→r)]→(r)
T T T T T
T T T F T
T T F T T
T T F F T
T F T T T
T F T F T
T F F T T
T F F F T
F T T T T
F T T F T
F T F T T
F T F F T
F F T T T
F F T F T
F F F T T
F F F F T

expression is a tautology

 Generar una tabla de verdad manualmente a partir del lenguaje

simbólico (En Word, Excel o foto del desarrollo manual).
p q r s ¬p ¬r (pVq) (q→¬r) (¬r→s) (s→r) (pVq)Λ(q→¬r) (pVq)Λ(q→¬r)Λ(¬r→s) (pVq)Λ(q→¬r)Λ(¬r→s)Λ (¬p) (pVq)Λ(q→¬r)Λ(¬r→s)Λ (¬p)Λ (s→r) [(pVq)Λ(q→¬r)Λ(¬r→s)Λ (¬p)Λ (s→r)]→(r)
v v v v f f v f v v f f f f v
v v v f f f v f v v f f f f v
v v f v f v v v v f v v f f v
v v f f f v v v f v v f f f v
v f v v f f v v v v v v f f v
v f v f f f v v v v v v f f v
v f f v f v v v v f v v f f v
v f f f f v v v f v v f f f v
f v v v v f v f v v f f f f v
f v v f v f v f v v f f f f v
f v f v v v v v v f v v v f v
f v f f v v v v f v v f f f v
f f v v v f f v v v f f f f v
f f v f v f f v v v f f f f v
f f f v v v f v v f f f f f v
f f f f v v f v f v f f f f v

 Demostración de la validez del argumento mediante las leyes de la

inferencia lógica

 Premisas:
 P1: 𝑝 ∨ 𝑞
 P2: 𝑞 ⟶∼ 𝑟
 P3: ¬𝑟 → 𝑠
 P4: ∼ 𝑝
 P5: 𝑠 ⟶ 𝑟
 Conclusión: 𝑟
P6: p Simplificación en p1
P7: q Simplificación en p1
P8: ∼ 𝑟 Modo Ponendo Ponens en p2 y p7
P9: 𝑠 Modo Ponendo Ponens en p3 y p8
P10: 𝑟 Modo Ponendo Ponens en p5 y p9