1

Unidad 1 – Métodos Para Probar Valides

Jorge Mario Bustillo Reyes

Pensamiento Lógico y Matemático

Grupo: 200611398

Director-Tutor

Lis Melet Villero

Universidad Nacional Abierta y a Distancia - UNAD

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

 2

2022

Introducción

El presente escrito tiene como finalidad hablar acerca de un tema de mucha relevancia de

Conjuntos numéricos estructuras algebraicas y fundamentos de algebra y sin duda alguna

despertara interés por muchos.

El tema principal del texto Conjuntos numéricos, Estructuras algebraicas y fundamentos

de álgebra lineal conjuntos numéricos, complementos, Matemáticas discretas: aplicaciones y

ejercicios, Proposiciones y tablas de verdad, Leyes de la inferencia, seguido de unos ejercicios de

dichos temas.

Este escrito tiene misión llevar a flote lo que es importante de esto temas, ejercicios y el

desarrollo de ellos y cada ley, Muchas cosas mas que encontraras al momento que se desplaza

el texto.
 3

Objetivos

General

Incrementar el interés y adquirir conocimiento Conjuntos numéricos, Estructuras

algebraicas y fundamentos de álgebra lineal conjuntos numéricos, complementos, Matemáticas

discretas: aplicaciones y ejercicios, Proposiciones y tablas de verdad, Leyes de la inferencia y así

aplicarlas en ejercicios de matemáticas con ejemplos de la vida cotidiana.

Específicos

. Conocer y aplicar Proposiciones y tablas de verdad.

. Comprender , Analizar y aplicar leyes de interferencia.

 4

Desarrollo de los 4 ejercicios de ejemplo.

Ejercicio 1: Proposiciones y tablas de verdad

A continuación, encontrará las proposiciones simples para el desarrollo del ejercicio 1:

C. p: En las competencias ganan los mejores

q: Las olimpiadas de matemáticas es una competencia
r: Los estudiantes participan en las olimpiadas de matemáticas

s: La Unad desarrolla las Olimpiadas de matemáticas

(s ꓥ r) → (𝑞 → 𝑝)

➢ Escriba la proposición compuesta propuesta en lenguaje natural.

La unad desarrolla las olimpiadas de matemáticas Y los estudiantes participan en las

olimpiadas de matemáticas SI las olimpiadas de matemáticas es una competencia

ENTONCES en la competencia ganan los mejores.

 5

 Generar una tabla de verdad manualmente a partir del lenguaje simbólico y

determinar si el resultado es una tautología, contingencia o contradicción.

P Q r S (s ꓥ r) (q→p) (s ꓥ r) →(q→p)
V V v V v v V
V V v F f v V
V V f V f v V
V V f F f v V
V F v V v v V
V F v F f v V
V F f V f v V
V F f F f v V
F V v V v f F
F V v F f f V
F V f V f f V
F V f F f f V
F F v V v v V
F F v F f v V
F F f V f v V
F F f F f v V
Contingencia
 6

Se clasifica como: CONTINGENCIA

Tabla en el simulador

El enlance del video del primer ejercicio de la letra C:

 7

https://www.youtube.com/watch?v=e8mjZ7xIk9A&t=13s

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

La letra C:

rΛs p Vq p Vq
p →r p→
q →s t
q →t
S r Vs t

rΛs

________
s

 Ley de expresión identificada: SIMPLIFICACIÓN.

 Proposiciones simples:

r: En Facebook se puede ganar dinero con la monetización

s: Dependiendo todo de las reacciones, visualizaciones y comentarios a cada video que

subas tu perfil
 8

Lenguaje natural:

En Facebook se puede ganar dinero con la monetización Y dependiendo todo de las reacciones,
visualizaciones y comentarios a cada video que tus subas a tu perfil.

p Vq
p →r
q →s
r Vs

 Ley de expresión identificada: SILOGISMO DISYUNTIVO

 Proposiciones simples:

p: Es invierno

q: Es verano

r: Usamos paraguas

s: Vamos al picnic

Lenguaje natural:

Es invierno es O verano.
Es invierno entonces usamos paraguas.
Es verano entonces vamos al picnic.
Usamos paraguas O vamos al picnic.
 9

p Vq
p→
t
q →t
t

 Ley de expresión identificada: SIMPLIFICACIÓN DISYUNTIVA

 Proposiciones simples:

p: Andrés sube al carro

q: Al Transmilenio

t: Llega a casa

Lenguaje natural:

Andrés sube al carro O al Transmilenio

Andrés sube al carro entonces llega a casa. 

 10

Andrés sube al Transmilenio entonces llega a casa. 

Andrés llega a casa.

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

C. Los ojos hacen más ejercicios que las piernas y los músculos de nuestros ojos se mueven
mucho más de lo que te imaginas.

a. Lenguaje simbólico:

p: Los ojos hacen más ejercicios que las piernas

q: los músculos de nuestros ojos se mueven mucho más de lo que te

imaginas.
b. Ley de inferencia aplicada: SIMPLIFICACIÓN

Conclusión:

. Los músculos de nuestros ojos se mueven mucho más de lo que te imaginas.

 11

Ejercicio 4: Problemas de aplicación

C. Expresión simbólica: [(𝑝 ∨ 𝑞) ↔ (¬𝑝 ꓥ ¬𝑞)] → (𝑝 ꓥ𝑞)

Premisas:

P1: (𝑝 ∨ 𝑞)
P2:(¬𝑝 ꓥ¬𝑞)

Conclusión: (𝑝ꓥ𝑞)

➢Definir las proposiciones simples

p: Me voy a ir de viaje el mes de noviembre a Inglaterra.

q: voy a estudiar el mes de diciembre ingeniería en Colombia

Lenguaje natural: [(𝑝 ∨ 𝑞) ↔ (¬𝑝 ꓥ ¬𝑞)] → (𝑝 ꓥ𝑞)

 12

Me voy a ir de viaje el mes de noviembre a Inglaterra o voy a estudiar el mes de diciembre

ingeniería en Colombia si y solo si no me voy a ir de viaje el mes de noviembre a Inglaterra Y

no voy a estudiar el mes de diciembre ingeniería en Colombia por lo tanto Me voy a ir de viaje

el mes de noviembre a Inglaterra y voy a estudiar el mes de diciembre ingeneria en Colombia

Tabla de verdad generada manualmente.

p q ˜p ˜q (p∨q) (~p∧~q) (p∧q)

v v f f v f v
v f f v v f f
f v v f v f f
f f v v f v f

Se clasifica como: TAUTOLOGIA

Observación: la tabla está en formato Excel darle doble clic para verla completa.
 13

➢ Generar la tabla de verdad a través del simulador Lógica UNAD

 14

➢ Demostración de la validez del argumento mediante las leyes de la inferencia lógica

C. Expresión simbólica: [(𝑝 ∨ 𝑞) ↔ (¬𝑝 ꓥ ¬𝑞)] → (𝑝 ꓥ𝑞)

Premisas:

P1: (𝑝 ∨ 𝑞)
P2:(¬𝑝 ꓥ¬𝑞)

Conclusión: (𝑝ꓥ𝑞)

P3: ̚ p Simplificación P2

P5: ̚ q Simplificación P2

P6: p Silogismo disyuntivo P1

 15

P5: q Silogismo disyuntivo P1

p ꓥ q Adjunción de P5,P6

Conclusiones del trabajo desarrollado

¿No les pasa que sienten saber algo con toda seguridad y propiedad, pero se dan de cara con que

no era correcto lo que sabían, o si lo era, pero no en su totalidad?

Justo esa pregunta me define al momento de iniciar este texto, escrito o como lo deseen

llamar y es que creía saberlo todo o bueno conocer mucho de este tema. Pero,

desafortunadamente no era así, a medida que iba leyendo algo nuevo salía. Cada concepto me

llevaba a pensar que, si a mí me pasó así, ¿Cuántas personas también estarán a medias?

Para finalizar puedo concluir que la matemática tiene, tantos temas tanto concepto que no

lleva de un problema a una solución, Como todo en esta vida.

 16

Referencias Bibliográficas

. Curo, A. (2015). Matemática básica para administradores. (pp. 13-

27). Universidad Peruana de Ciencias Aplicadas
(UPC) https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/
unad/41333?page=10

. Pérez, A. R. (2013). Una introducción a las matemáticas discretas

y teoría de grafos. (pp. 40-49).  El Cid Editor  https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/36562?page=59

. Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras

algebraicas y fundamentos de álgebra lineal. Volumen I: conjuntos
numéricos, complementos. (pp. 19-28). Editorial Tébar
Flores  https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/
unad/51977?page=20

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

ejercicios. (pp. 19-39).  Larousse - Grupo Editorial
Patria  https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/
unad/39454?page=30
 17

. Castaño, C. (2017). OVI. Proposiciones y tablas de

verdad.    Repositorio Institucional
UNAD.  http://hdl.handle.net/10596/13871  

Castaño, C. (2017). OVI. Proposiciones y tablas de

verdad.    Repositorio Institucional
UNAD.  http://hdl.handle.net/10596/13871