Pensamiento Lógico Matemático

Tarea 4_sustentaciones 1,2 y 3

Estudiante:
Marolyn Julissa Díaz Vidal
CC. 1.123.318.428

Tutora:
Aura Elisa Quesada

Licenciatura en Lengua Extranjera con énfasis en Ingles

Universidad Nacional Abierta y a Distancia
Mayo/2019
INTRODUCCIÓN.

Este trabajo consta de dos actividades las cuales podemos fortalecer nuestros

conocimientos sobre la clasificación de proposiciones categóricas utilizando

instrumentos unadistas como tablas de verdad, expresiones simbólicas etc.

OBJETIVOS GENERALES Y ESPECIFICOS

 Clasificar los tipos de proposiciones de forma correcta para el buen manejo de la

lógica matemática.

 Identificar las clases de razonamiento

 Conocer los símbolos adecuados en este tema de lógica matemática.

 Manejar adecuadamente las tablas de verdad.

C: Los siguientes son los datos que muestran las preferencias
de algunos aspirantes a ingresar a la Universidad Nacional
Abierta y a Distancia para ciertos programas de Ingeniería:

 50 prefieren Industrial.
 47 prefieren Sistemas.
 35 prefieren Electrónica.
 16 prefieren Sistemas y Electrónica.
 11 prefieren Industrial y Sistemas.
 15 prefieren Industrial y Electrónica.
 9 prefieren las tres.

De acuerdo con lo anterior, responder las siguientes preguntas:

• ¿Cuántos aspirantes fueron encuestados?

I S
11
35 11
9
6
15 16

5
E

Fueron encuestados 132 aspirantes a la universidad UNAD.

• ¿Cuántos aspirantes prefieren únicamente Industrial?

35 estudiantes prefieren únicamente la ingeniería Industrial.

• ¿Cuántos aspirantes no prefieren Electrónica?

Son 57 estudiantes que no prefieren electrónica

 • ¿Cuántos aspirantes prefieren Industrial o Electrónica pero
no Sistemas?

Son 55 estudiantes que prefieren ingeniería industrial o electrónica

pero no sistemas.

• ¿Cuántos aspirantes prefieren Industrial o Sistemas?

Son 57 aspirantes que prefieren la ingeniería industrial o sistemas.

Ejercicio 2: Métodos para probar la validez de un argumento

Para el desarrollo de esta 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 2.:

C: Expresión simbólica:

{[p→(q→r)]Λ(rΛp)Λ(sVq)Λ¬q}→sΛ(q→r)
Premisas:
P1: 𝑝 → (𝑞 → 𝑟)]
 P2: rΛp
P3: sVq
P4: ¬q

Conclusión: sΛ(q→r)

P: Estudio matemáticas

Q: Soy una profesora.

R: Me voy de vacaciones.

S: Estoy con mi familia.

Estudio matemáticas entonces soy una profesora entonces me voy de

vacaciones. Y me voy de vacaciones y estudio matemáticas y estoy con mi
familia o soy una profesora y no soy una profesora entonces estoy con mi
familia y soy una profesora entonces me voy de vacaciones.

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)
 CONCLUSIÓN

El anterior trabajo representa el manejo de proposiciones categóricas y tablas de verdad el

cual cada paso que otorguemos podemos conocer mejor sobre este tema y sobre las clases de
tablas de verdad y de proposiciones categóricas estudiando los razonamientos que existen en
el tema trabajado.