TAREA 1 - PROPOSICIONES Y TABLAS DE VERDAD

NATALIA ALEJANDRA MARTINEZ PUJIMUY

CÓDIGO: 1.116.265.744

No. DE GRUPO: 200611- 87.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

INGENIERIA DE ALIMENTOS

PENSAMIENTO LÓGICO Y MATEMÁTICO

DICIEMBRE 2019
 INTRODUCCIÓN

Este trabajo se realiza para poner en evidencia los conocimientos que he adquirido
mediante el desarrollo de este primer trabajo del curso, aquí se encuentran las diapositivas
que realicé donde se define qué es un cuantificador existencial único y algunos ejemplos,
también se encuentra la solución a dos ejercicios donde puede evidenciarse el
entendimiento del tema sobre proposiciones y tablas de verdad.
Dentro de los cuantificadores existenciales está el cuantificador existencial único, que se
simboliza ∃! Y se da cuando solo hay un elemento en el conjunto A que cumple con la
proposición.
Se escribe ∃! x Є A p(x) y se lee: Existe una única x en A que cumple p(x).
Las proposiciones simples pueden volverse proposiciones compuestas mediante conectores
lógicos como “y”, “ó”, “entonces”, “sí y sólo si”, entre otros que se verán a lo largo del
curso, por medio de estos conectores lógicos se puede determinar el método a usarse para
definir si las expresiones o proposiciones son verdaderas o falsas, pero no ambas cosas a la
vez.
 OBJETIVOS

OBJETIVO GENERAL

 Conocer y comprender los conceptos sobre la lógica proposicional y aplicarlos en el

desarrollo de problemas.

OBJETIVOS ESPECÍFICOS

 Definir qué es y cómo se usa un cuantificador existencial único

 Expresar preposiciones simples o compuestas y trasladarlas al lenguaje simbólico o

formal.

 Generar tablas de verdad de manera manual y luego comparar el resultado que

arroja el simulador de lógica de la UNAD.
 EJERCICIO 1: CONCEPTUALIZACIÓN DE CUANTIFICADORES.

CUANTIFICADOR.

Un cuantificador es una expresión que permite determinar la cantidad de elementos o el

tipo de elementos que cumplen con una propiedad en una proposición.

CUANTIFICADOR EXITENCIAL.
Se simboliza ∃ y se expresa “existe algún”.

CUANTIFICADOR EXISTENCIAL ÚNICO.

Dentro de los cuantificadores existenciales está el cuantificador existencial único, que se

simboliza ∃! Y se da cuando solo hay un elemento en el conjunto A que cumple con la
proposición.
Se escribe ∃! x Є A p(x) y se lee: Existe una única x en A que cumple p(x).

EJEMPLOS.

 p(x): x/x es el alcalde de Tuluá.

Entonces: ∃!x p(x) existe un único x, tal que x es el alcalde de Tuluá.}

 p(x): x/x es mujer. q(x): x/x es colombiana. r(x): x/x tiene 25 años. s(x): x/x
estudia en la UNAD.
Entonces: ∃!x p(x) ^ q(x) ^ r(x) ^ s(x) existe un único x, tal que x es mujer, es
colombiana, tiene 25 años y estudia en la UNAD.
 EJERCICIO 2: PROPOSICIONES Y TABLAS DE VERDAD.

 Los trabajos del curso no se pueden dejar para último momento, entonces los
trabajos se deben presentar a tiempo y con eso puedo obtener la retroalimentación
del tutor.

PROPOSICIONES SIMPLES:

- p = Los trabajos del curso se pueden dejar para último momento.

- q = Se deben presentar a tiempo.
- r = Con eso puedo obtener retroalimentación del tutor.

LENGUAJE SIMBÓLICO:

¬ p → (q → r)

TABLA DE VERDAD CON EL SIMULADOR DE LÓGICA UNAD

TABLA DE VERDAD MANUAL

p q ⌐p r (q → r) ⌐p → (q → r)

V V F V V V
V V F F F V
V F F V V V
V F F F V V
F V V V V V
F V V F F F
F F V V V V
F F V F V V

Resultado de la tabla: CONTINGENCIA

EJERCICIO 3: PROBLEMAS DE APLICACIÓN.

DESCRIPCIÓN DEL EJERCICIO.

 Expresión formal o simbólica:

{[p→(q∨r)]∧(p→⌐r)∧ r}→q

 Proposiciones simples:
- p = Me inscribo en la UNAD.
- q = Matriculo Pensamiento Lógico Matemático.
- r = Matriculo Ética y Ciudadanía.

 Lenguaje natural:
 Si me inscribo en la UNAD entonces, matriculo Pensamiento Lógico Matemático ó
matriculo Ética y Ciudadanía, y si me inscribo en la UNAD entonces puedo no
matricular Ética y Ciudadanía. Y si matriculo Ética y Ciudadanía entonces
matriculo Pensamiento Lógico Matemático.

TABLA DE VERDAD CON EL SIMULADOR DE LÓGICA UNAD

TABLA DE VERDAD MANUAL

p q R ⌐r q˅r p→ ⌐ r p→(q˅ r) (p→ ⌐ r) ^ r [p→(q˅r)]^(p→⌐r)^r {[p→(q˅r)]^(p→⌐r)

V V V F V F V V V V
V V F V V V V F F V
V F V F V F V V F V
V F F V F V F F F V
V V V F V V V V V V
V V F V V V V F F V
V F V F V V V V V F
V F F V F V V F F V

Resultado de la tabla: CONTINGENCIA

 CONCLUSIONES
 Las proposiciones simples pueden convertirse en proposiciones compuestas
mediante el uso de conectores lógicos como: negación (no), conjunción (y),
disyunción (o), condicional (si, entonces), bicondicional (si y solo sí).

 Las variables en lenguaje natural pueden ser convertidas a lenguaje simbólico y las
variables en lenguaje simbólico pueden ser convertidas en lenguaje natural.

 Las tablas de verdad se generan a través del lenguaje simbólico y se puede

determinar si es una tautología (proposición compuesta que es cierta para todos los
valores de verdad), si es una contradicción (cuando la proposición compuesta es
falsa para todos los valores de verdad), y una contingencia (cuando muestra
resultados de verdad y falso en las diferentes líneas de la tabla.
 REFERENCIAS

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

computación. (pp. 106 - 112). Ediciones Elizcom, Madrid.
 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y
computación. (pp. 9-28). Ediciones Elizcom, Madrid. Recuperado
dehttps://bibliotecavirtual.unad.edu.co...
 Díaz, A. (2007). Nuevas matemáticas 11. (pp. 7-14). Bogotá, Colombia: Editorial
Santillana.
 Moscote, H. (2016) Aplicación de las tablas de verdad en el álgebra de
proposiciones, [Vídeo]. Recuperado de http://hdl.handle.net/10596/7961
 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
http://bibliotecavirtual.unad.edu.co:...
