UNIDAD 3 “PROPOSICIONES CATEGORICAS Y RAZONAMIENTOS LOGICOS”

ELABORADO POR:

CARLOS ADRIAN BEDOYA RENDON

TUTOR:

NORBEY ROMERO

UNIVERSIDAD ABIERTA Y A DISTANCIA (UNAD)

CEAD DOSQUEBRADAS

ADMINISTRACION EN SALUD

13 DE NOVIEMBRE DEL 2018

 INTRODUCCION

En el siguiente trabajo vamos a encontrar las actividades a desarrollar de la unidad 3

identificando la operatividad entre conjuntos utilizando el diagrama de venn,
aplicaremos las preposiciones de lenguaje natural y en lenguaje formal determinando el
valor de verdad de las preposiciones, realizando tablas de verdad y utilizando las leyes
de inferencia logia.
 OBJETIVOS

Comprender y aplicar los conocimientos de los elementos y las propiedades operativas de

la teoría general de los conjuntos desarrollando diagrama de venn dando respuesta a todas
las incógnitas planteadas, aplicar los conocimientos de la lógica proposicional
reconociendo además los conectores lógicos desarrollando tablas de verdad y utilizando las
leyes de inferencia validando el razonamiento si es válido con los métodos de
demostración.
 EJERCICIO NRO 1

 Establecer su estructura de acuerdo con la siguiente tabla:

TERMINO O CUALIDAD
ESTRUCTURA TERMINO PREDICADO
CUANTIFICADO SUJETO O CUPULA
R
p:
Algunos Estudiantes Son Mayores que los de catedra
q:
Todos Estudiantes Son Mayores que los de catedra

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

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

Particular afirmativa, Cuantificador particular y cualidad afirmativa.

Clasificación de q: Proposición tipo “A”

Universal afirmativa, Cuantificador universal y cualidad afirmativa

 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 I Subcontrarias O

R/= De acuerdo al esquema p y q son subalternos y de contingencia

EJERCICIO NRO 2

A partir del razonamiento que haya seleccionado, deberá dar respuesta a los siguientes

ítems:

 Identificar si el razonamiento es deductivo o inductivo.

 Argumentar la respuesta con sus propias palabras.

a. Según las instrucciones del recetario los cupcakes se deben hornear durante una hora.

El pastelero Juan introduce al horno los cupcakes a las diez de la mañana, por lo tanto,

los cupcakes estarán listos a las once de la mañana.

R/=El razonamiento utilizado es deductivo, ya que a partir de hechos conocidos y

 probados por varias personas que se especializan en realizar instrucciones para

recetarios, se comprobó que los cupcakes se deben hornear solo una hora para que estén

listos.

Además el razonamiento deductivo dice que cuando las premisas son verdaderas las

conclusiones también tiene que ser verdaderas para que el argumento sea efectivamente

deductivo.

EJERCICIO NRO 3

a. Expresión simbólica: [(𝒑 ∧ 𝒒) ∧ (𝒑 → 𝒓)] ⟶ (𝒓 ∧ 𝒒)

Premisas:

P1: 𝒑 ∧ 𝒒

P2: 𝒑 → 𝒓

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

R/=

p: Carlos Adrian estudia en la UNAD

q: es alumno de administración en salud

r: estudia a distancia

Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural. Las

proposiciones simples deben ser de autoría de cada estudiante, por lo que de encontrar

proposiciones iguales entre estudiantes se considerara como copia y se tomaran las

medidas correctivas estipuladas por la UNAD.

R/= Carlos Adrian estudia en la UNAD y es alumno de administración en salud, y

Carlos Adrian estudia en la UNAD entonces estudia a distancia, entonces estudia a

distancia y es alumno de administración en salud

P1: Carlos Adrian estudia en la UNAD y es alumnos de administración en salud

P2: Carlos Adrian estudia en la UNAD entonces estudia a distancia

Generar una tabla de verdad con el simulador Truth Table a partir del lenguaje

simbólico (El estudiante encontrará la Guía para el uso de recursos educativos

Simulador TRUTH, en el Entorno de Aprendizaje Práctico, así como el link de acceso

al recurso)

Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,

Excel o foto del desarrollo manual).

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

1).𝒑 ∧ 𝒒

2). 𝒑 → 𝒓

------------------------

3). 𝒑 Simplificación (1)

4). 𝒓 Modo Ponendo Ponens (2,3)

5). 𝒓 ∧ 𝒒 Adjunción (4,3)

Conclusión: 𝒓 ∧ 𝒒
 CONCLUSION

Al realizar este trabajo se puede concluir que es muy importante conocer la teoría de

conjuntos y el uso de las preposiciones ya que nos permiten determinar la validez de algún

razonamiento o diferentes premisas, se aprendió a realizar diagramas de venn, tablas de

verdad y a utilizar las leyes de inferencia.

 BIBLIOGRAFIA

Sánchez, H. R. (2014). Álgebra. (pp. 2- 30). México, D.F., México: Larousse - Grupo

Editorial Patria. Recuperado

de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?

ppg=15&docID=11046169&tm=1489706134764

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

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

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