UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Unidad 1 Lógica proposicional

Alexander Gil Montoya_ 16076135

Tutor: Norbey Romero

Curso: 200611_1012

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERÍA

INGENIERÍA INDUSTRIAL

CCAV Dosquebradas, septiembre de 2018

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

INTRODUCCION

En el presente trabajo podremos conceptos fundamentales de la lógica proposicional y la

aplicación de estos en la resolución de problemas. Se propone expresar las proposiciones simples

del argumento asi como el la tabla de la verdad.

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Ejercicio No 2 Proposiciones y Tablas de verdad.

Punto C.

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.

 Definir las proposiciones simples del argumento.

Proposiciones simples:

p. Este fin de semana, voy a hacer un asado

q. voy a realizar una actividad en la piscina

r. voy a pasar tiempo agradable con mi familia.

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

p ∧q ∧r

 Generar una tabla de verdad con el simulador Truth Table.

Tabla de verdad
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

 Generar una tabla de verdad manualmente a partir del lenguaje simbólico.

Tabla de verdad manual

Proposición

Si estudio en la Unad y no apruebo matemáticas y pierdo el examen entonces no seré un

ingeniero

Proposiciones simples:

p: estudio en la Unad

q: apruebo matemáticas

r: pierdo el examen

s: seré un ingeniero

2n= 16

Tabla de verdad

(p ∧ ∼q) estudio en la unad y no apruebo matemáticas

(p ∧ ∼q) ∧ r estudio en la unad y no apruebo matemáticas y pierdo el examen

[(p ∧ ∼q) ∧ r ] →∼s estudio en la unad y no apruebo matemáticas y pierdo el examen

entonces no seré un ingeniero

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

∼ ( P ^ ̴q (P^ q
̴ )^ r
p q r s q ) (P^ q
̴ )^ r →∼s
v v v v f f f v
v v v f f f f v
v v f v f f f v
v v f f f f f v
v f v v v v v f
v f v f v v v v
v f f v v v f v
v f f f v v f v
f v v v f f f v
f v v f f f f v
f v f v f f f v
f v f f f f f v
f f v v v f f v
f f v f v f f v
f f f v v f f v
f f f f v f f v

REFERENCIAS BIBLIOGRAFICAS

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.

John Karts. [John Karts]. (1819). [Simulador Truth]. Recuperado de:

http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/

http://conferencia2.unad.edu.co/p27r8qx9s4t/?launcher=false&fcsContent=true&pbMode=norma