Pensamiento Lógico Y Matemático

Proposiciones y Tablas de Verdad

Por:
Omar José Amaya

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA (UNAD)

2019
 Ejercicio A Segunda Sección Tarea 1

A. Si estudio en la UNAD entonces podré cumplir mis sueños, si y sólo si

soy dedicado con mis estudios y aprovecho el acompañamiento académico
en los centros.

A partir del argumento que haya seleccionado deberá dar respuesta a los
siguientes ítems:

Definir las proposiciones simples del argumento.

Teniendo en cuenta que las proposiciones simples hacen referencia a

las proposiciones que no se pueden dividir tenemos que:

p: Estudio en la UNAD
q: Podre cumplir mis sueños
r: Soy dedicado con mis estudios
s: Aprovecho el acompañamiento académico en los centros

Definir la expresión del argumento en lenguaje simbólico o formal.

[ p→ q ] ↔[r ∧s ]
En primer lugar tenemos un condicional simbolizado por una flecha ,
luego viene un bicondicional relacionando la siguiente parte de toda la proposicion y
finalmente se encuentrala conjuncion simbolizada con ∧

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 r s [ p→ q ] ↔[r ∧s ]

V V V V V
V V V F F
V V F V F
V V F F F
V F V V F
V F V F V
V F F V V
V F F F V
F V V V V
F V V F F
F V F V F
F V F F F
F F V V V
F F V F F
F F F V F
F F F F F
En esta tabla realizada de manera manual se encuentra como resultado que hace
referencia a una tabla de contingencia al obtenerse de las proposiciones valores
verdaderos y de igual manera falsos