UNIDAD 2

TEORIAS DE CONJUNTOS

NOMBRE: ANA TERESA RODRIGUE LOPEZ

CODIGO: 200611

GRUPO: 200611_1670

TUTOR: JUAN DAVID LACHARME

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

PENSAMIENTO LOGICO Y MATEMATICO

FECHA: 03/11/2019
Ejercicio 1: Proposiciones categóricas

Descripción del ejercicio

B) p: Algunos docentes son ingenieros industriales

q: Ningún docente es ingeniero industrial

 Definición de la estructura de la proposición categórica

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

Predicado

Algunos docentes Son Ingenieros

industriales

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

Clasificación de p: proposición tipo “I”

Particulares afirmativos. Cuantificador particular y cualidad afirmativa

 Definición de la estructura de la proposición categórica

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

Predicado

ningún docente es Ingeniero

industrial

Clasificación de q: proposición tipo “E”

Universales negativos. Cuantificador universal y cualidad negativa

 Establecer si las proposiciones son contrarias, de contingencia o
subcontrarias.

p
De acuerdo al esquema las proposiciones son contradictorias
Ejercicio 2: Razonamiento Deductivo e Inductivo

Descripción del ejercicio:

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

del ejercicio 2:

B. De todos los felinos, el león es el rey de la selva, ya que es el felino

más grande de África y por su melena pareciera que tuviese corona.
Su único potencial depredador es la hiena, pero solo si ésta lo ataca
en grupo; de lo contrario, hiena contra león tendrá como muy probable
vencedor al león.

Desarrollo

Argumentación: El razonamiento utilizado es el deductivo, ya que, el

león es más fuerte y grande que cualquier hiena, aunque estos siempre
estén luchando, se deduce que si la hiena ataca al león en grupo lo
vencerá, de lo contrario hiena contra león ganara el león.
Ejercicio 3: Problemas de aplicación

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:

B. Expresión simbólica: [(𝒑 ∧ ¬𝒒) ∧ (𝒑 → ¬𝒓) ∧ (𝒒 ∨ ¬𝒔)] ⟶ (¬𝒓 ∧ ¬𝒔)

Determinación de Premisas:
Premisas:
P1: 𝑝 ∧ ¬𝑞
P2: 𝑝 → ¬𝑟
P3: 𝑞 ∨ ¬𝑠
P4: p
P5: ¬𝑟
P6: ¬𝑞
P7: ¬𝑠
P8: ¬𝑟 ∧ ¬𝑠

Conclusión: ¬𝑟 ∧ ¬𝑠
A partir de la expresión simbólica seleccionada, el estudiante deberá:

Definir las proposiciones simples, tendrá la libertad de definirla bajo una

descripción basada en un contexto, el que se solicita es un contexto
académico
Desarrollo:

 Proposiciones simples: (se define cada proposición simple del

argumento, siempre en afirmativo y con letras en minúscula).

P: Ana estudia en la UNAD

Q: Ana estudia en el CEAD de la dorada
R: Ana participa de los CIPAS
S: Ana participa de los B-learning

 Razonamiento en lenguaje natural:

Ana estudia en la UNAD y no estudia en el CEAD de la dorada. Si Ana

estudia en la UNAD. Entonces no participa de los CIPAS. Ana estudia en
el CEAD de la dorada o no participa de los B-learnig. En conclusión Ana
no participa de los CIPAS y no participa de los B-learnig
Generar la tabla de verdad manualmente:

 Resultado de la tabla de verdad: TAUTOLOGÍA

 Generar la tabla de verdad con el simulador Lógica UNAD

[(𝒑 ∧ ¬𝒒) ∧ (𝒑 → ¬𝒓) ∧ (𝒒 ∨ ¬𝒔)] ⟶ (¬𝒓 ∧ ¬𝒔)

 REFERENCIAS

Proposiciones categóricas
Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas
básicos. Distrito Federal, MÉXICO: Grupo Editorial Patria. (pp.
61- 65) Recuperado
de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader
.action?ppg=72&docID=4569631&tm=1529336365580
Leyes de Inferencia
Cardona, T. S. A. (2010). Lógica matemática para ingeniería de
sistemas y computación. (pp. 78 - 99). Ediciones Elizcom,
Madrid. Recuperado
de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader
.action?ppg=81&docID=3199701&tm=1529336485971

Tipos de Razonamiento
Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas
básicos. Distrito Federal, MÉXICO: Grupo Editorial Patria. (pp.
80 - 84) Recuperado
de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader
.action?ppg=91&docID=4569631&tm=1529513879802