SSTENTACION DE UNIDADES 1 Y 2 LOGICA MATEMATICA

Presentado al totor(a): Liliana García

Presentado por el estudiante: Silvio Dayan Sánchez

Código: 1007326817

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

CHIQUINQUIRA- BOYACA

2018
 INTRODUCCIÓN

En el siguiente trabajo es de forma individual, se tendrá que sustentar los ejercicios propuestos en la guía de actividades con el totor o tura del curso, en este

documento están descritos los problemas que se expondrán, para ello se ha contado con el conocimiento previo de las unidades para poder llegar a tal fin, el

trabajo no es una copia sino es de autoría propia, se tiene en cuenta lo visto en las unidades del curso de lógica matemática.
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. ¿Cuántos estudiantes participan en los seminarios de inglés y español, pero no en el de filosofía?
¿Cuántos participan sólo en el de filosofía? ¿Cuántos estudiantes participaron en total?

 Solucionar los interrogantes planteados.

Para resolver éste ejercicio vamos a realizar un diagrama de venn, de tal forma que la información que reflejaremos en él es la siguiente :

Al menos 1 participa en cada curso.

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

18 en los tres seminarios.

¿Cuántos estudiantes participan en los seminarios de inglés y español, pero no en el de filosofía?

R: 10

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

R= 13

¿Cuántos estudiantes participaron en total?

R: 78
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: s

Remplazar las variables expresadas simbólicamente y llevarlas al

Lenguaje natural.

Definición de preposiciones simples:

p: Si estudias.
Q: Si prestas atención en clases.

R: Apruebas tu materia.

En lenguaje formal:

Si estudias para tus materias y eres atento en clases entonces apruebas tu materia por lo tanto Aprueba y Estudia.

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

Lenguaje simbólico.

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

 No p q s r (pVq) (P r) (q s) (¬r) (p v q)ʌ(P r) (q s)ʌ(¬r) [(𝑝 ∨ 𝑞) ∧ (𝑝 → 𝑟) ∧ (𝑞 → 𝑠) ⋀ (¬𝑟)] [(𝑝 ∨ 𝑞) ∧ (𝑝 → 𝑟) ∧ (𝑞 → 𝑠) ⋀ (¬𝑟)] → 𝑠
1 F F F V F F V F F F F V
2 F F V V F F F F F F F V
3 F F F F F V V V F V F V
4 F F V F F V F V F F F V
5 F V F V V F V F F F F V
6 F V V V V F V F F F F V
7 F V F F V V V V V V V F
8 F V V F V V V V V V V V
9 V F F V V V V F V F F V
10 V F V V V V F F V F F V
11 V F F F V V V V V V V F
12 V F V F V V F V V F F V
13 V V F V V V V F V F F V
14 V V V V V V V F V V V
V
15 V V F F V V F V V F F V
16 V V V F V V v V V V V V
Según la tabla se puede definir como una contingencia ya que se presenta dos falsedades
Generar una tabla de verdad manualmente a partir del lenguaje

Simbólico.
 Conclusión

En el trabajo se pudo poner a prueba los conocimientos adquiridos en el desarrollo d las actividades del curso dando como resultado la solución de los

ejercicios escogidos, hubo mucha preparación para la hora de exponer o sustentar con el docente, hubo algunos problemas de entendimiento, pero eso no fue

impedimento para dar solución a los puntos del trabajo de lógica matemática.

Referencias bibliográficas

 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

 Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de álgebra lineal. Volumen I: conjuntos numéricos,

complementos. (pp. 19-28). Madrid, España: Editorial Tébar Flores. Recuperado http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader

Rodríguez, H. (2017). Leyes de inferencia (Validación de argumentos). [Archivo de video]. Recuperado de http://hdl.handle.net/10596/11486.action?

ppg=20&docID=3226457&tm=1529246259924.