Ejercicios Tarea-1

Sophie Michell Vargas Mora

1115916264

Universidad Nacional Abierta y a Distancia UNAD

Escuela de Ciencias Basicas,Tenologia e Ingenieria ECBTI

Programa de Igenieria Electronica

Yopal, 2022
 Introducción

En el siguiente desarrollo del trabajo se tienen las respectivas

respuestas a los 5 ejercicios propuestos, para evaluar la UNIDAD 1.
 Objetivos

Objetivo General

Analizar el uso del lenguaje simbolico y natural en los ejercicios dados.

Objetivos Especificos

 Definir el lenguaje formal

 Identidicar los diferentes conectores logicos
 Determinar si es tautoligia, continguencia o contradiccion
 Ejercicio 1: Proposiciones y tablas de verdad

Ejercicio B

 p: El Modelo Pedagógico Unadista está apoyado en el E-learning

q: El MPU tiene accionar de aprendizaje autónomo
r: El MPU tiene accionar de aprendizaje significativo
s: El MPU tiene accionar de aprendizaje colaborativo

( r ∧q ) ∨(r ∧ s)→ p

1. Proposición propuesta en lenguaje natural.

El MPU tiene accionar de aprendizaje significativo y El MPU tiene

accionar de aprendizaje autónomo o El MPU tiene accionar de
aprendizaje significativo y El PMU tiene accionar de aprendizaje
colaborativo. Por lo tanto, El Modelo Pedagógico Unadista está apoyado
en el E-learning.

2. Tabla de verdad:

p q r s ( r ∧q ) (r ∧ s) ( r ∧q ) ∨(r ∧ s) ( r ∧q ) ∨(r ∧ s) → p

V V V V V V V V
V V V F V F V V
V V F V F F F V
V V F F F F F V
V F V V F V V V
V F V F F F F V
V F F V F F F V
V F F F F F F V
F V V V V V V F
F V V F V F V F
F V F V F F F V
F V F F F F F V
 F F V V F V V F
F F V F F F F V
F F F V F F F V
F F F F F F F V

 El resultado es CONTINGENCIA
3. La tabla de verdad a través del simulador Lógica UNAD.

4. Link del video explicando el desarrollo del ejercicio B

https://www.loom.com/share/
e86d3b6e499d4eea8e0b459e96950fae
 Ejercicio 2: Identificación de las reglas de la inferencia lógica
Ejercicio B:
A continuación, encuentra el lenguaje simbólico de expresiones que
representan algunas leyes de inferencia.
B. Expresión simbólica
 Ejercicio #1
 Proposiciones Simples

r: Anna quiere estudiar medicina

s: Anna esta haciendo el premedico

 Expresión Simbólica:

r∨s

¬r

_________

 Lenguaje Natural:

Anna quiere estudiar medicina o Anna está haciendo el premedico, Anna

no quiere estudiar medicina. Por lo tanto, Anna está haciendo el
premedico.

 Ley de inferencia de expresión:

Tollendo Ponens

 Ejercicio #2
 Proposiciones Simples

p: Anna esta estudiando diseño de Modas

q: Anna ya casi termina su carrera

r: Anna viajara a Paris para poder ejercer su carrera

 Expresión Simbólica:

p →q

q→r

______

p →r

 Lenguaje Natural:

Si Anna está estudiando diseño de Modas entonces Anna ya casi termina

su carrera, Anna ya casi termina su carrera entonces Anna viajara a
Paris para poder ejercer su carrera. Por lo tanto, si Anna está
estudiando diseño de Modas entonces Anna viajara a Paris para poder
ejercer su carrera.

 Ley de inferencia de expresión:

Silogismo Hipotético

 Ejercicio #3
 Proposiciones Simples

r: Anna quiere realizar una especialización

s: Anna se graduó de Psicología

 Expresión Simbólica:

s
________
r∧s
  Lenguaje Natural:

Anna quiere realizar una especialización, Anna se graduó de Psicología.

Por lo tanto, Anna quiere realizar una especialización y Anna se graduó
de Psicología.

 Ley de inferencia de expresión:

Adjunción

Ejercicio 3: Aplicación de las reglas de la inferencia lógica

Ejercicio B.
Si Colombia tiene la bebida oficial del encuentro, entonces, el café es
reconocido por su calidez. Colombia tiene la bebida oficial del encuentro.

a. Lenguaje Simbólico:
p →q
p
______
q
b. Ley de inferencia aplicada: Modus Ponendo Ponens
c. Conclusión: El café es reconocido por su calidez
PROPOSICIONES SIMPLES
p: Colombia tiene la bebida oficial del encuentro

q: El café es reconocido por su calidez

Ejercicio 4: Problemas de aplicación

Ejercicio B.
Expresión simbólica:{ ( r → s ) ∧ r } →(s ∨ t)
 Proposiciones simples
r: Anna se considera una buena estudiante

s: Anna quiere realizar un intercambio de país

t: Anna necesita tener un promedio de 4.2

  Premisas:
P1:( r → s )
P1: Si Anna se considera una buena estudiante entonces Anna quiere
realizar un intercambio de país

P2:r
P2: Anna se considera una buena estudiante
Conclusión: ( s ∨t)
Conclusión: Anna quiere realizar un intercambio de país o Anna necesita
tener un promedio de 4.2

 Lenguaje Natural:
Si Anna se considera una buena estudiante entonces Anna quiere
realizar un intercambio de país, Anna se considera una buena
estudiante. Por lo tanto, Anna quiere realizar un intercambio de país o
Anna necesita tener un promedio de 4.2.
 Tabla de verdad

r s t (r → s ) ( s ∨t) ( r → s ) ∧r (s ∨t) { ( r → s ) ∧ r } →( s ∨ t)
V V V V V V V V
V V F V V V V V
V F V F V F V V
V F F F F F F V
F V V V V F V V
F V F V V F V V
F F V V V F V V
F F F V F F F V

 La tabla de verdad a través del simulador Lógica UNAD

  Demostración de la validez del argumento mediante las
leyes de la inferencia lógica
1. Modus Ponendo Ponens

P1:r → s
P2: r
____________________
P3: s

2. Ley de Adición

P3: s
____________________
P4: s ∨t → CONCLUSI Ó N
 Conclusiones

En el anterior desarrollo del trabajo se tuvieron las respectivas

respuestas a los 5 ejercicios propuestos, para evaluar la UNIDAD 1.
 Bibliografia

 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).
 Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y
ejercicios. (pp. 19-39). México, D.F, Larousse - Grupo Editorial
Patria.
 Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y
ejercicios. (pp. 34-37). México, D.F, Larousse - Grupo Editorial
Patria.
 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).
 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.
 Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y
ejercicios. (pp. 34-37). México, D.F, Larousse - Grupo Editorial
Patria.