Proporciones lógicas

Laura Natalia Florez Acosta

Código: 1012447654

Pensamiento lógico matemático

Randy Zabaleta

Grupo Colaborativo: 730

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA (UNAD).

ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERA
INGENIERIA INDUSTRIAL
BOGOTÁ
2018
 Contenido
Introducción .................................................................................................................................... 2
Objetivos ......................................................................................................................................... 3
Objetivo genera ........................................................................................................................... 3
Objetivo especifico ...................................................................................................................... 3
Cuadro de Roles .............................................................................................................................. 4
Desarrollo de actividades ................................................................................................................ 5
Proposiciones .............................................................................................................................. 5
Tabla de Verdad .......................................................................................................................... 5
Problemas de aplicación .............................................................................................................. 6
Conclusiones ................................................................................................................................... 2
 Introducción

Las proposiciones son argumentos simples o compuestos que dan una hipótesis con el fin de ser
demostrados y validados dando un juicio acorde a la solución de los mismos, la aplicación de la
lógica matemática va hacia las carreras como administración, ingenierías como la industrial y
mecánica, así como en el derecho. A lo largo de este documento una estudiante de la UNAD da
en exposición sus conocimientos recién adquiridos gracias al material de apoyo dado por el
docente sobre el tema proposiciones y tablas de verdad, desarrollando competencias claves como
diferentes tipos de racionamiento, aprendizaje de lenguajes artificiales, apoyo en las tablas de
verdad y comprensión en solución de problemas cotidianos expuestos en la guía de aprendizaje
suministrada por el docente.
 Objetivos

Objetivo genera

Desarrollar el análisis lógico, deductivo usando las herramientas básicas como el simulador truth
para una solución pronta, eficaz sobre hechos cotidianos y planteados.

Objetivo especifico

1. Analizar cada uno de los temas a desarrollar.

2. Identificar el uso de leyes.
3. Desarrollar el lenguaje simbólico y transformarlo a lenguaje nativo.
4. Dar un uso apropiado a las operaciones lógicas.
 Cuadro de Roles

TABLA 1:PLAN DE ACCION - GRUPO ##

Datos Estudiante Fotografía Ejercicios Ejercicios seleccionado s
seleccionado revisar
sa
desarrollar
Identificación Tarea 1: Tarea 1:
Nombre
CEAD/CCAV/CERES/ UDR Tarea 2: Tarea 2:

Tarea 3: Tarea 3:

Identificación : 1012447654 Tarea 1: B Tarea 1: D

Nombre: Laura Natalia Florez Acosta
CEAD/CCAV/CERES/ UDR Tarea 2: B Tarea 2: D
CEAD JOSE ACEVEDO Y GOMEZ
Tarea 3: B Tarea 3: D

Identificación Tarea 1: Tarea 1:

Nombre
CEAD/CCAV/CERES/ UDR Tarea 2: Tarea 2:

Tarea 3: Tarea 3:

Identificación Tarea 1: Tarea 1:

Nombre
CEAD/CCAV/CERES/ UDR Tarea 2: Tarea 2:

Tarea 3: Tarea 3:

Identificación Tarea 1: Tarea 1:

Nombre
CEAD/CCAV/CERES/ Tarea 2: Tarea 2:
UDR
Tarea 3: Tarea 3:
 Desarrollo de actividades

Proposiciones

P: El rector de la UNAD es Jaime Alberto Leal Afanador.

Q: La UNAD es una institución de carácter público.

R: En la UNAD se estudia de forma presencial

[(𝒑→𝒓)∧ 𝒒]↔(¬ 𝒓 ∨¬𝒒)

[(V→F) ∧V] ↔ (V∨F)

⌊𝐹 ∧ V⌋ ↔ F

𝐹↔F

Tabla de Verdad

B) El sol es redondo y la luna es un satélite si y solo si la tierra hace parte de la vida láctea

P: El sol es redondo

Q: La Luna es un satélite

R: La tierra hace parte de la vía láctea

Expresión Simbólica

(𝑝⋀𝑞) ↔ 𝑟
Tabla de verdad MANUAL

p q
V V
V V
V F
V F
F V
F V
F F
F F
r (𝑝⋀𝑞) ↔ 𝑟
V V
F F
V F
F V
V F
F V
V F
F V

Tabla de verdad Simulador Truth vs Tabla Manual

p q r (pΛq)↔r
p q r (𝑝⋀𝑞) ↔ 𝑟
T T T T V V V V
T T F F V V F F
T F T F V F V F
V F F V
T F F T
F V V F
F T T F F V F V
F T F T F F V F
F F T F F F F V
F F F T

Problemas de aplicación

{(𝑝⟶𝑞)∧(𝑟⟶𝑠)∧[(𝑞∧𝑠)⟶𝑡]∧(𝑝∧𝑟)}⟶𝑡

Definición de proposiciones

p p: Si estudio en la Universidad UNAD.

q q: Seré un profesional.
r r: Estudiare administración de empresas.
s s: Ingeniería de alimentos.
t t: Alcanzare mis metas propuestas.
~q ~q: No seré profesional.
u u: Estudiando con dedicación.
Argumento: Si estudio en la universidad UNAD, entonces seré un profesional; y estudiare
administración de empresas o ingeniería de alimentos; por lo que estudiare administración de
empresas entonces, alcanzare mis metas propuestas y si no estudio no seré un profesional, y
estudiando con dedicación entonces; alcanzare mis metas propuestas y si estudio ingeniería de
alimentos entonces estudio en la UNAD entonces alcanzare mis metas propuestas.

[(𝐩 → 𝐪) ∧ (𝐫 ∧ 𝐬) ∧ (𝐫 → 𝐭) ∧ (~𝐪) ∧ (𝐮 → 𝐭) ∧ (𝐬 → 𝐩)]→ 𝒕

p q r s t u [(p → q) ∧ (r ∧ s) ∧ (r → t) ∧
(~q) ∧ (u → t) ∧ (s → p)]→ 𝑡

V V V V V V V
V V V V V F V
V V V V F V V
V V V V F F V
V V V F V V V
V V V F V F V
V V V F F V V
V V V F F F V
V V F V V V V
V V F V V F V
V V F V F V V
V V F V F F V
V V F F V V V
V V F F V F V
V V F F F V V
V V F F F F V
V F V V V V V
V F V V V F V
V F V V F V V
V F V V F F V
V F V F V V V
V F V F V F V
V F V F F V V
V F V F F F V
V F F V V V V
V F F V V F V
V F F V F V V
V F F V F F V
V F F F V V V
V F F F V F V
V F F F F V V
V F F F F F V
F V V V V V V
F V V V V F V
F V V V F V V
F V V V F F V
F V V F V V V
F V V F V F V
F V V F F V V
F V V F F F V
F V F V V V V
F V F V V F V
F V F V F V V
F V F V F F V
F V F F V V V
F V F F V F V
F V F F F V V
F V F F F F V
F F V V V V V
F F V V V F V
F F V V F V V
F F V V F F V
F F V F V V V
F F V F V F V
F F V F F V V
F F V F F F V
F F F V V V V
F F F V V F V
F F F V F V V
F F F V F F V
F F F F V V V
F F F F V F V
F F F F F V V
F F F F F F V
Corroboración tabla de verdad Manual Vs Tabla de verdad Simulador Truth

Tabla de verdad Simulador truth

(((p → q) Λ ((r Λ s) Λ ((r → t) Λ (¬q Λ ((u → t) Λ (s →

p q r s t u
p)))))) → t)

T T T T T T T
T T T T T F T
T T T T F T T
T T T T F F T
T T T F T T T
T T T F T F T
T T T F F T T
T T T F F F T
T T F T T T T
T T F T T F T
T T F T F T T
T T F T F F T
T T F F T T T
T T F F T F T
T T F F F T T
T T F F F F T
T F T T T T T
T F T T T F T
T F T T F T T
T F T T F F T
T F T F T T T
T F T F T F T
T F T F F T T
T F T F F F T
T F F T T T T
T F F T T F T
T F F T F T T
T F F T F F T
T F F F T T T
T F F F T F T
T F F F F T T
T F F F F F T
 F T T T T T T
F T T T T F T
F T T T F T T
F T T T F F T
F T T F T T T
F T T F T F T
F T T F F T T
F T T F F F T
F T F T T T T
F T F T T F T
F T F T F T T
F T F T F F T
F T F F T T T
F T F F T F T
F T F F F T T
F T F F F F T
F F T T T T T
F F T T T F T
F F T T F T T
F F T T F F T
F F T F T T T
F F T F T F T
F F T F F T T
F F T F F F T
F F F T T T T
F F F T T F T
F F F T F T T
F F F T F F T
F F F F T T T
F F F F T F T
F F F F F T T
F F F F F F T

Conclusión: comprobando la tabla de verdad del simulador Truth vs la tabla de verdad hecha
manualmente, se demostró que la proposición dada es una tautología ya que los valores de
verdad son totalmente verdaderos.
 Conclusiones

A lo largo de este trabajo desarrollamos el lenguaje simbólico apropiando las teorías

planteadas desarrollando de una manera clara los argumentos planteados frente la razón,
deducción y las conclusiones dando así un juicio de acuerdo con la clasificación frente a
anteriormente mencionado; Llegando a cumplir con los objetivos planteados.
 Bibliografía

Villalpando, B. J. F. (2000). "Fundamentos de la Lógica Matemática y Cálculo Proposicional".

En ProQuest (Ed). Matemáticas discretas: aplicaciones y ejercicios de aplicación. (pp. 19 - 29).
Guadalajara, México: Larousse - Grupo Editorial Patria. Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=11013570&ppg=30

Chávez, C. P. (2000). "Lógica Simbólica". En ProQuest (Ed). Compendio de lógica. (pp. 151-
162). Guadalajara, México: Larousse - Grupo Editorial Patria. Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=166&docID=1104600
0&tm=1489704594878

Argoty, L. (2015). Repaso Lógica Matemática. Recuperado

de http://erenriquez.net/largoty/Ova01MD/

Gonzáles, T. L., & Saavedra, M. (2009). Aciertos matemáticos 11: serie para la educación media.
Bogotá, CO: Educar Editores S.A. Páginas 13 -19 Recuperado
de:http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=14&docID=10345286
&tm=1492518671601

Moscote, H. (2016) Aplicación de las tablas de verdad en el álgebra de proposiciones.

Recuperado de http://hdl.handle.net/10596/7961

Castaño, G. (2017). Proposiciones y tablas de verdad, [Video]. Recuperado

dehttp://hdl.handle.net/10596/13871