UNIDAD 1: EJERCICIO 2- PROPOSICIÓN Y TABLAS DE VERDAD

PENSAMIENTO LOGICO Y MATEMATICO 200611B_474

HELBER RAFAEL BAHOQUE SARMIENTO

Grupo: 200611_739

Tutor UNAD
RANDY ZABALETA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA DE COLOMBIA

ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA (ECBTI)
CCAV CARTAGENA
INGENIERÍA INDUSTRIAL
CARTAGENA
2018
Ejercicio 2: Proposiciones y Tablas de verdad

Para el desarrollo de este ejercicio, es necesario que revise en el Entorno de Conocimiento

(Unidad 1), las siguientes referencias:

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

fundamentos de álgebra lineal. Volumen I: conjuntos numéricos, complementos. (pp.
19-28). Madrid, España: Editorial Tébar Flores.
 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y
computación. (pp. 9-28). Ediciones Elizcom, Madrid.

Una vez realizadas las lecturas, desarrolle el ejercicio propuesto.

Descripción del ejercicio:

A continuación, encontrará los argumentos para el desarrollo del ejercicio 2:
A. Si la Selección Colombia va al mundial y James juega los partidos, entonces la
Selección Colombia será finalista del Mundial de Rusia.
B. Voy de vacaciones a San Bernardo del Viento o Voy a Capurgana o viajo a
Amazonas.
C. Este fin de semana, voy a hacer un asado y voy a realizar una actividad en la piscina
y voy a pasar tiempo agradable con mi familia.
D. Me gusta comer Lechona o me gusta comer Mariscos. Y es que realmente me gusta
comer Bandeja Paisa.
E. Si estudio en la UNAD y pertenezco a las Fuerzas Militares de Colombia, Entonces
tendré un 40% de descuento en la Matricula.

A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:
 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 Truth Table a partir del lenguaje
simbólico (El estudiante encontrará la Guía para el uso de recursos educativos
Simulador TRUTH, 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.

Ejercicio 2:

Este fin de semana, voy a hacer un asado y voy a realizar una actividad en la piscina y voy
a pasar tiempo agradable con mi familia..

 Preposiciones:

o P: Este fin de semana voy a hacer un asado.

o Q: Este fin de semana voy a realizar una actividad en la piscina.
o R: Este fin de semana voy a pasar tiempo agradable con mi familia.

 Lenguaje simbólico o formal:

(P ∧ Q) ∧ (R)
 Tabla de verdad con Truth Simulator:
 Tabla de verdad manual:

P Q R PΛQ PΛQΛR

V V V V V

V V F V F

V F V F F

V F F F F

F V V F F

F V F F F

F F V F F

F F F F F