PREPOSICIONES Y TABLAS DE VERDAD

NIL EDUART ENRIQUE RIASCOS RIASCOS

*CRISTIAN ANDRES JAIMES

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA (UNAD)

PROGRAMA DE INGENIERIA INDUSTRIAL
PALMIRA
2020
*Tutor
 INTRODUCCION

En este trabajo observaras los procedimientos y operaciones de la lógica proposicional, las tablas
de verdad y los cuantificadores universales, esto con el fin de hacernos una idea y comenzar a
sumergirnos en el mundo de las matemáticas.
 OBJETIVOS

1. Conocer sobre la temática de lógica proposicional, tablas de verdad y cuantificadores

universales
2. Hacer practica por medio de ejercicio, en relación a esta temática.

3. Conocer herramientas que se encuentran en el curso para realizar los ejercicios propuestos
por el tutor.
 DESARROLLO DEL TEMA

Ejercicio 1: Presentación
Ejercicio 2: Proposiciones y Tabla de Verdad.
Argumento:
Gabriel García Márquez escribió Cien años de soledad o La Ilíada. Si y solo si es un
escritor brillante e ingenioso.
Proposiciones Simples: (se define cada proposición simple del argumento, siempre en
afirmativo y con letras en minúscula).

p = Gabriel García Márquez escribió.

q = Cien años de soledad, la Ilíada

r = Es un escritor brillante e ingenioso

Lenguaje Simbólico: Se convierte el argumento al lenguaje simbólico

(p ˅ q )↔r
Tabla de la verdad (manual): recuerde que aparte de las columnas de las proposiciones
simples, debe haber tantas columnas como operadores lógicos hay en el lenguaje simbólico
(incluye negaciones y demás operadores lógicos, en el caso del ejemplo que estamos
trabajando, hay 1 negación y 3 operadores lógicos), por lo tanto, la tabla de verdad está
compuesta por 4 columnas de proposiciones simples, 1 de una negación y 3 columnas de
operadores lógicos.
Resultado de tabla de verdad (manual): Indeterminación.

Tabla de verdad simulador lógico

Ejercicio 3: Expresión Formal o Simbólica

[ (p^q) ↔ (¬ v^s) ]
Definición de las proposiciones simples: (se define cada proposición simple del argumento,
siempre en afirmativo y con letras en minúscula).

p: Stella lee un libro

q: Laura juega voleibol

v: Andrés está en la casa

s: su madre está en el supermercado

Lenguaje natural de la expresión formal: (A partir de las proposiciones simples anteriores y el

lenguaje simbólico dado en el ejercicio, se construye la expresión en lenguaje formal o natural)
“Stella lee un libro y Laura juega voleibol, si y solo si Andrés no está en la casa y su madre
está en el supermercado”

Generar la tabla de verdad manualmente: recuerde que aparte de las columnas de las
proposiciones simples, debe haber tantas columnas como operadores lógicos hay en el lenguaje
simbólico (incluye negaciones y demás operadores lógicos, en el caso del ejemplo que estamos
trabajando, hay 3 proposiciones simples, hay 2 negaciones y 5 operadores lógicos), por lo tanto,
la tabla de verdad está compuesta por 3 columnas de proposiciones simples, 2 de negaciones y 5
columnas de operadores lógicos.

El resultado de la tabla (manual) dio como resultado una Indeterminación.

Tabla de verdad simulador lógico UNAD

JTabla - Resultados
         
p q r s (p∧q)↔(~r∧s)
v v v v F
v v v f F
v v f v V
v v f f F
v f v v V
v f v f V
v f f v F
v f f f V
f v v v V
f v v f V
f v f v F
f v f f V
f f v v V
f f v f V
f f f v F
f f f f V
 CONCLUSIONES

De este trabajo se puede concluir, que sirve para preparar al estudiante para un entorno de
aprendizaje continuo, en el cual se va adentrando al mundo de las matemáticas, ya que todo lo
que hacemos tocamos o manifestamos es matemáticamente cuantificable, si es material.
 BIBLIOGRAFIA

 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. Recuperado de https://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?docID=3226457&ppg=20

 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y

computación. (pp. 9-28). Ediciones Elizcom, Madrid. Recuperado de https://ebookcentral-
proquest-com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?
docID=3199701&ppg=12

 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y

computación. (pp. 106-112). Ediciones Elizcom, Madrid. Recuperado
de https://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?docID=3199701&ppg=109