Tarea 4 –Sustentación unidades 1, 2 o 3

Chayanne Alberto Mateus Farelo

Universidad Nacional Abierta y a Distancia

Grupo: 200611_157

Notas del autor

Chayanne Alberto Mateus Farelo, Facultad de Ingeniería, Universidad Nacional Abierta y

Distancia

Este trabajo ha sido realizado por el propio alumno

Este trabajo debe ser dirigido a Juan Pablo Obando, Universidad Nacional Abierta y

Distancia

Contacto: camateusf@unadvirtual.edu.co
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?

48 ESPAÑOL
45 INGLES 48-28= 20 ESPAÑOL
49 FILOSOFIA 45-28=17 INGLES
28 ESPAÑOL E INGLES 49-26=23 FILOSOFIA
26 ESPAÑOL Y FILOSOFIA 18= ESPAÑOL, INGLES Y FILOSOFIA
28 INGLES Y FILOSOFIA TOTAL= 78
18 ESPAÑOL, INGLES Y FILOSOFIA
DIAGRAMA DE VENN EULER
 ESPAÑOL
20

26 28
18

FILOSOFIA INGLES
23 28 17

relación

TOTAL: 78

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

de Filosofía? PARTICIPARON 37 ESTUDIANTES
 ¿Cuántos participan sólo en el de Filosofía? PARTICIPARON 23
 ¿Cuántos estudiantes participaron en total? PARTICIPARON EN TOTAL 78
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: 𝒑 ∧ 𝒔

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,

 P= Daniela estudia en la universidad. ⁓P= NO puede estudiar en la Universidad

 Q= será una excelente trabajadora social
 R= puede ayudar a su comunidad
 S= crear su propia fundación

 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→Q) ∨ R]∧ (R→∼P) ∧ (P∧ S)]} ⟶ (Q ∧ S)

Si Daniela estudia en la universidad, entonces será una excelente trabajadora social o

puede ayudar a su comunidad, considerando que puede ayudar a su comunidad,

entonces NO puede estudiar en la Universidad, y si estudia en la universidad y crea

su propia fundación, entonces se deduce que, Daniela es una excelente trabajadora

social y crea su propia fundación.

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

 {[(P→Q) ∨ R]∧ (R→∼P) ∧ (P∧ S)]} ⟶ (Q ∧ S).

 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

Leyes de Inferencia

{[(𝒑 → 𝒒) ∨ 𝒓] ∧ (𝒓 →∼ 𝒑) ∧ (𝒑 ∧ 𝒔)} ⟶ (𝒒 ∧ 𝒔)

P1: (𝒑 → 𝒒) ∨ 𝒓 Conclusión: 𝒒 ∧ 𝒔
P2: 𝒓 →∼ 𝒑
P3: 𝒑 ∧ 𝒔
4p SIMP Simplificación 3
5s SIMP Simplificación 3
6 ∼r MTT Modus tollendo tollens 2,4
7r DN doble negación 6
8p→q SD Silogismo disyuntivo 1,6
9q MPP Modo Ponendo pones 4,8
-------------------
9. ·˙·q ∧ s AD adición 9,5
 REFERENCIAS BOBLIOGRAFICAS

 Sánchez, H. R. (2014). Álgebra. (pp. 14 - 29). México, D.F., México:

Larousse - Grupo Editorial Patria.

 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de

sistemas y computación. (pp. 78 - 99). Ediciones Elizcom, Madrid.