Unidad 1 -Tarea 1

Yulima Acosta Ardila

Universidad Nacional Abierta y a Distancia

Notas de Autor

Yulima Acosta Ardila, Escuela de Ciencias Básicas, Tecnología e Ingeniería,

Universidad

Nacional Abierta y a Distancia

La información correspondencia a este documento deberá ser enviada a Escuela de

Ciencias

Básicas, Tecnología e Ingeniería, Universidad Nacional Abierta y a Distancia, Email:

yulima1409@hotmail.com
Introducción

En este trabajo se pretende mostrar el uso de las proposiones su lenguaje simbólico, como

representarlas, como a través de un lenguaje simbólico transformarlas a un lenguaje natural

y viceversa. Otro tema a tratar en este trabajo es conocer las reglas que maneja la inferencia

lógica donde se deben ubicar en que casos y como elaborar una tabla de verdad manual

como realizarla y se muestra una aplicación de la UNAD donde también se puede realizar

estas tablas.
Objetivos

 Aprender a realizar proposiciones simples y que a través de estas se puedan generar

compuestas.

 Utilizar el lenguaje simbólico para expresar proposiones, no solo valernos del

lenguaje natural sino simbólicamente.

 Identificar las distintas reglas de inferencia para de este modo ubicar una

proposición según sea su caso.

 Tener la capacidad de elaborar tablas de verdad manuales.

 Aprender a utilizar el programa que brinda la universidad para elaborar las tablas de

verdad.
Ejercicio 1: Proposiciones y tablas de verdad (C)

p: Los estudiantes de la UNAD entregan sus actividades a través de la plataforma

q: Algunos estudiantes de la UNAD estudian Administración Financiera

r: Los estudiantes hacen uso del correo personal para entregar las actividades

 Lenguaje simbólico

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

 Lenguaje Natural

Los estudiantes de la UNAD no entregan sus actividades a través de la plataforma

entonces si algunos estudiantes de la UNAD estudian Administración Financiera

entonces algunos estudiantes de la UNAD no estudian Administración Financiera o

los estudiantes no hacen uso del correo personal para entregar las actividades.

 Tabla manual

(∼ p ↔ q) ∧
p q r ∼p ∼q ∼p→q ∼q∨r (∼ q ∨ r)
V V V F F F V V
V V F F F F F V
V F V F V F V V
V F F F V F V V
F V V V F F V V
F V F V F F F V
F F V V V F V V
F F F V V F V V
  Se clasifica como: Tautología

 Tabla de verdad Simulador UNAD

Ejercicio 2: Identificación de las reglas de la inferencia lógica

C) Expresión simbólicas

a→b r→s p∧q

a ¬s

b ¬r p

 Ley de inferencia de la expresión:

a→b

a = Modus Ponendo Ponens

 b

r→s

¬s = Modus Tollendo Tellens

¬r

p∧q = Modus Tollendo Ponens

Proposiciones simples:

a: Yulima estudia ingeniería de alimentos en la UNAD

b: Yulima no aprobó el curso pensamiento lógico y matemático

r: en la UNAD hay que estudiar para aprender

s: la UNAD brinda oportunidades para estudiar

p: las actividades del curso pensamiento lógico y matemático se suben a la plataforma

q: la UNAD maneja una plataforma para subir las actividades

Construir el lenguaje natural de cada ley de Inferencia expresada en lenguaje

simbólico

a→b

a
 b

Yulima estudia ingeniería de alimentos en la UNAD entonces Yulima aprobó el curso

pensamiento lógico y matemático. Yulima estudia ingeniería de alimentos en la UNAD por

lo tanto Yulima aprobó el curso pensamiento lógico y matemático

r→s

¬s

¬r

En la UNAD hay que estudiar para aprender entonces la UNAD brinda oportunidades para

estudiar. La UNAD no brinda oportunidades para estudiar. Por lo tanto en la UNAD no que

estudiar para aprender.

p∧q

Las actividades del curso pensamiento lógico y matemático se suben a la plataforma y la

UNAD maneja una plataforma para subir las actividades.

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

C. Si Camilo estudia Ingeniería electrónica entonces Camilo utiliza simuladores para

realizar los circuitos. Camilo no utiliza simuladores para realizar los circuitos.

a. Conclusión: Camilo utiliza simuladores para realizar circuitos

b. Ley de inferencia aplicada: Modus Tollendo Tellens

c. Lenguaje simbólico: r→s

¬s

¬r

Ejercicio 4: Problemas de aplicación

C. Expresión simbólica: {(p ∧ ¬𝑞) ∧ (r → 𝑞) ∧ (r ∨ ¬𝑞)} → (p ∧ ¬r)

Premisas: P1: p ∧ ¬𝑞

P2: r → 𝑞

P3: r ∨ ¬𝑞

Conclusión: p ∧ ¬ r

Proposiciones simples:

p: La UNAD dicta el curso pensamiento lógico y matemático

q: Yulima está viendo el curso pensamiento lógico y matemático

r: las actividades de los cursos virtuales se suben en la plataforma virtual

Lenguaje Natural:

Si la UNAD dicta el curso pensamiento lógico y matemático y Yulima no está viendo el

curso pensamiento lógico y matemático. Las actividades de los cursos virtuales se suben a

la plataforma virtual entonces Yulima está viendo el curso pensamiento lógico y

matemático. Las actividades de los cursos virtuales se suben en la plataforma virtual o

 Yulima no está viendo el curso de pensamiento lógico y matemático. Entonces la UNAD

dicta el curso de pensamiento lógico y matemático y las actividades de los cursos virtuales

no se suben en la plataforma virtual.

Tabla de verdad manual

{(p ∧ ¬𝑞) ∧ (r → 𝑞) ∧ (r ∨ ¬𝑞)} → (p ∧ ¬r)

p q r ¬𝑞 ¬r (p ∧ ¬𝑞) (r → 𝑞) (r ∨ ¬𝑞) (p ∧ ¬r) (p ∧ ¬𝑞) ∧ (r → 𝑞) {(p ∧ ¬𝑞) ∧ (r → 𝑞) ∧

∧ (r ∨ ¬𝑞) (r ∨ ¬𝑞)} → (p ∧ ¬r)
V V V F F F V V V F V
V V F F V F V F V F V
V F V V F V F V V F V
V F F V V V V V V F F
F V V F F F V V F F V
F V F F V F V F V F V
F F V V F F F V F F V
F F F V V F V V V F V

Tabla de verdad Simulador UNAD

Demostración de la validez del argumento mediante las Leyes de Inferencia:

P1: p ∧ ¬𝑞

P2: r → 𝑞

P3: r ∨ ¬𝑞

P4: r Modus Tollendo Ponens entre P1 y P4

Modus Tollendo Ponens entre P1 y P3

P5: ¬𝑞 Modus Tollendo Tollens entre P2 y P5

Bibliografía
Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios. 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.

Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de

álgebra lineal. Volumen I: conjuntos numéricos, complementos. Madrid, España: Editorial

Tébar Flores.