UNIVERSIDAD NACIONAL A DISTANCIA UNAD

Escuela CCAV CARTAGENA

 
 

 
 
 
FELBER ANTONIO BECERRA SARRIA
N° Grupo:  200611_739
 
 

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

Docente 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
A partir del argumento que haya seleccionado deberá dar respuesta a los
siguientes ítems:

 Definir las proposiciones simples del argumento.

Voy de vacaciones a San Bernardo del Viento o Voy a Capurgana o viajo a

Amazonas.

Las proposiciones simples, son:

p= Voy de vacaciones a San Bernardo del Viento

q= Voy de vacaciones a Capurgana
r= Voy de vacaciones a Amazonas.

 Definición del argumento en lenguaje simbólico o formal.

Lenguaje simbólico o formal.

(pvq)v(r)
 Generar una tabla de verdad con el simulador Truth Table a partir del
lenguaje simbólico.
Generación de la tabla de verdad manualmente a partir del lenguaje
simbólico: (pvq)v(r)

P Q R PvQ PvQvR
v v v v v
v v f v v
v f v v v
v f f v v
f v v v v
f v f v v
f f v f v
f f f f f