1

UNIDAD 1 Y 2: TAREA 3 - SUSTENTACIÓN UNIDADES 1 O 2

ALBA NEREYDA GAMBOA MENDOZA

COD. 1.118.167.663

GRUPO: 90004_668

PRESENTADO A:

LEIDER HERNAN LOPEZ

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA (UNAD)

ESCUELA DE CIENCIAS AGRÍCOLAS, PECUARIAS Y DEL MEDIO AMBIENTE

CURSO: LOGICA MATEMATICA

CEAD: ACACIAS

2018
 2

INTRODUCCION

Este trabajo se realizara con el fin de establecer la importancia de la lógica matemática,

como esta puede ayudar para una excelente realización personal dado a sus conocimientos
adquiridos, Proposiciones simples y compuestas, tablas de verdad, métodos de demostración,
razonamientos lógicos, inferencia lógica y argumentos lógicos.

Se espera que con la realización de los ejercicios propuestos se pueda aprender

Proposiciones simples y compuestas, tablas de verdad, métodos de demostración,
razonamientos lógicos, inferencia lógica y argumentos lógicos, ampliando nuestros
conocimientos.
 3

OBJETIVOS

Objetivo general

Desarrollar guía con especificaciones cumpliendo los objetivos establecidos.

Objetivos Específicos

1. Identificar la importancia de las Proposiciones simples y compuestas

2. Aprender a desarrollo mediante tablas de verdad diferentes proposiciones
3. Saber utilizar el simulador Truth Table.
4. Conocer los principios de los razonamientos lógicos, inferencia lógica y argumentos lógicos

Ejercicio 1: Aplicación de la Teoría de Conjuntos

 4

Descripción del ejercicio:

A continuación, encontrará una serie de situaciones en contextos reales, las

cuales deberán ser analizadas por el estudiante para el desarrollo del ejercicio 1

a. Determina el número de estudiantes de un curso, si se sabe que cada uno

participa en al menos una de los tres cursos de verano español, inglés o
filosofía. 48 participan en el de español, 45 en el de inglés, 49 en el de
Filosofía, 28 en el de español e inglés, 26 en el de español y Filosofía, 28 en
el de inglés y filosofía y 18 en los tres seminarios.

A partir de la situación que el estudiante haya seleccionado, el estudiante deberá:

 Representar la información dada en un diagrama de Venn Euler

 Solucionar los interrogantes planteados.

¿Cuántos estudiantes participan en los seminarios de inglés y español,

pero no en el de filosofía?

Rta: 10 estudiantes participan en los seminarios de inglés y español, pero no en

el de filosofía.
 5

¿Cuántos participan sólo en el de filosofía?

Rta: 13 estudiantes participan solo en el de filosofía.

¿Cuántos estudiantes participaron en total?

Rta: 78 estudiantes participan en total.

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

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:

a. Expresión simbólica: [(𝑝 ∨ 𝑞) ∧ (𝑝 → 𝑟) ∧ (𝑞 → 𝑠)⋀(¬𝑟)] → 𝑠

Premisas:
P1: 𝑝 ∨ 𝑞
P2: 𝑝 → 𝑟
P3: 𝑞 → 𝑠
P4: ¬𝑟

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, ejemplo:

p: Carlos estudia en la UNAD

q: La UNAD es una Universidad Pública

 6

 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.

P: yo estudio en la unad

q: Yo estudio en la misma universidad que mi prima

r: Mi prima estudia en la misma universidad que yo

s: Mi primo estudia en la misma universidad que mi prima

Yo estudio en la unad entonces yo estudio en la misma universidad que mi prima,

si mi primo estudia en distinta universidad que yo entonces mi primo estudia en
una universidad diferente a mi prima.

Yo estudio en la unad y mi primo estudia en la misma universidad que mi prima,

por tanto, mi primo estudia en la misma universidad que mi prima y yo estudio
en la misma universidad que mi prima.

(𝒑→𝒒) ⋀ (~r→ ~s) ⋀ (𝒑⋀s) → (r⋀q)

 7

 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).

𝒑 𝒒 r s ~r ~s 𝒑→𝒒 ~r→~s 𝒑⋀s (𝒑→𝒒)⋀(~r→~s) [(𝒑→𝒒)⋀(~r→~s)]⋀(𝒑⋀s) (r⋀q) (r⋀𝒒)[(p →q) (~r→~s) ⋀(p⋀s)]→(r⋀q)
V V V V F F V V V V V V V
V V V F F V V V F V F V V
V V F V V F V F V F F F V
V V F F V V V V F V F F V
V F V V F F F V V F F F V
V F V F F V F V F F F F V
V F F V V F F F V F F F V
V F F F V V F V F F F F V
F V V V F F V V F V F V V
F V V F F V V V F V F V V
F V F V V F V F F F F F V
F V F F V V V V F V F F V
F F V V F F V V F V F F V
F F V F F V V V F V F F V
F F F V V F V F F F F F V
F F F F V V V V F V F F V
 8

CONCLUSIONES

En el desarrollo de este trabajo se puede mostrar la evolución y comprensión que se tiene

sobre las Proposiciones simples y compuestas, tablas de verdad, métodos de demostración,
razonamientos lógicos, inferencia lógica y argumentos lógicos. los conjuntos y tablas de
verdad él porque es importante conocer y saber representar acciones con símbolos para e
interpretar de manera matemática. Es importante aplicar estos conocimientos en nuestras
vidas y entorno laborar.
 9

BIBLIOGRAFIA

 Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios: Larousse

- Grupo Editorial Patria. (pp. 29-38)
 Chávez, C. P. (2000). Compendio de lógica: Larousse - Grupo Editorial Patria. (pp.
163-166)
 Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de grafos.
Córdoba, AR: El Cid Editor. (pp. 40-49)
 Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal,
MÉXICO: Grupo Editorial Patria. (pp. 80-84).