Trabajo Unidad 1

Presentado Por
Katry Muslaco

Presentado A:
Luz Adriana Ramirez

Pensamiento Logico Matemático

Universidad Nacional Abierta y a Distancia
UNAD - 2019
 Introducción

El presente trabajo aborda la tematica en relacion a las tablas de verdad, propisiciones simples
y compuesta de igual manera los cuantificadores , se insta desde la aplicación diara para
resolver cada items propuesto en el curso de pensamiento logico y matematico.
 Objetivos
 Objetivo General:

Comprender los conceptos fundamentales de la lógica proposicional y los aplica

para la resolución de problemas.

 Objetivos Especificos:
- Leer y analizar los conceptos fundamentales de la lógica proposicional y los
aplica para la resolución de problemas.
- Resolver y aplicara los conceptos fundamentales de la lógica proposicional y los
aplica para la resolución de problemas
 Desarrollo
Ejercicio # 1
Ejercicio # 2 Descripción del ejercicio:
A continuación, encontrará los argumentos para el desarrollo del ejercicio 2:
A. Si el vehículo de Gabriela necesita mantenimiento entonces, ella lo lleva al
concesionario o Si ella no lo lleva al concesionario entonces, lo lleva taller de
Fernando
 Definir las proposiciones simples del argumento.
𝑷: 𝑺𝒊 𝒆𝒍 𝒗𝒆𝒉í𝒄𝒖𝒍𝒐 𝒅𝒆 𝑮𝒂𝒃𝒓𝒊𝒆𝒍𝒂 𝒏𝒆𝒄𝒆𝒔𝒊𝒕𝒂 𝒎𝒂𝒏𝒕𝒆𝒏𝒊𝒎𝒊𝒆𝒏𝒕𝒐
𝑸: 𝑬𝒍𝒍𝒂 𝒍𝒐 𝒍𝒍𝒆𝒗𝒂 𝒂𝒍 𝒄𝒐𝒏𝒄𝒆𝒔𝒊𝒐𝒏𝒂𝒓𝒊𝒐
𝑹: 𝒍𝒐 𝒍𝒍𝒆𝒗𝒂 𝒂𝒍 𝒕𝒂𝒍𝒍𝒆𝒓 𝒅𝒆 𝑭𝒆𝒓𝒏𝒂𝒏𝒅𝒐
 Definir la expresión del argumento en lenguaje simbólico o formal.
(𝒑 → 𝒒) ∧ (∼ 𝒒 → 𝒓)
 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)

 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 ~q r (p->q) (~q^r) (p->q)^(~q>r)
V V F V v V V
V V F F V V V
 V F V V F V F
V F V F F F F
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 F F

Ejercicio # 3
Descripción del ejercicio: A continuación, encontrará proposiciones compuestas en
lenguaje simbólico (argumento) para el desarrollo del ejercicio 3:
A. (𝑝 ∧ 𝑞) → (𝑟 ⋀ 𝑠)

 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

 𝑃: 𝐾𝑎𝑡𝑟𝑦 𝑒𝑠𝑡𝑢𝑑𝑖𝑎 𝑃𝑠𝑖𝑐𝑜𝑙𝑜𝑔í𝑎

 𝑄: 𝑁𝑎𝑦𝑒𝑙𝑖𝑠 𝐸𝑠𝑡𝑢𝑑𝑖𝑎 𝐿𝑖𝑐𝑒𝑛𝑐𝑖𝑎𝑡𝑢𝑟𝑎 𝑒𝑛 𝑃𝑒𝑑𝑎𝑔𝑜𝑔𝑖𝑎 𝐼𝑛𝑓𝑎𝑛𝑡𝑖𝑙
 𝑅: 𝑒𝑠𝑡𝑢𝑑𝑖𝑎𝑛 𝑒𝑛 𝑙𝑎 𝑈𝑁𝐴𝐷
 𝑆: 𝑠𝑒𝑟á𝑛 𝑢𝑛𝑎𝑠 𝑏𝑢𝑒𝑛𝑎𝑠 𝑝𝑟𝑜𝑓𝑒𝑠𝑖𝑜𝑛𝑎𝑙𝑒𝑠
 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.
Si Katry estudia Psicología y Nayelis Estudia Licenciatura en Pedagogia Infantil entonces
estudian en la UNAD y serán unas buenas profesionales
 Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico
 Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
Excel o foto del desarrollo manual).

p q R s p^q r^s (p^q)⇒( r^s)

V V V V V V V
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 F V V
V F V F F F V
V F F V F F V
V F F F F F V
F V V V F V V
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 F V V
F F V F F F V
F F F V F F V
F F F F F F V

 Definir si el argumento seleccionado inicialmente es una tautología, contradicción o

contingencia
Es una contingencia
 Conclusión

Al terminar esta actividad nos insta a comprender que la existencia de la vida es un conector

lógico, que nos proyecta más allá de nuestros ojos, cada partícula existente del cosmos es un hilo

conductor de todo lo que es y lo que fue.