UNIDAD 1 – PROPOSICIONES Y TABLAS DE VERDAD

PENSAMIENTO LÓGICO Y MATEMÁTICO

GUSTAVO ADOLFO OYOLA URZOLA

CÓDIGO: 1010203314
GRUPO: 200611_158

PRESENTADO A:
ELIZABETH PUENTES MONTAÑO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

INGENIERIA ELÉTRONICA
SEPTIEMBRE DEL 2019
 Introducción

El presente trabajo es realizado para comprender los conceptos fundamentales de

la lógica proposicional, así mismo encontrara diferentes ejemplos y aplicaciones
usando tablas de verdad manuales y las utilizadas en la plataforma UNAD. También
repasamos las definiciones de tipos de cuantificadores universales y sus
respectivos ejemplos.
 Objetivos

Comprender conceptos básicos para poder relacionarnos con la temática del

curso y entenderlo de la mejor manera, realizando ejercicios y ejemplos
contenidos en la unidad 1.
Desarrollo de actividad:

1. Diapositivas.
 2. Cuantificadores Universales

Los Cuantificadores son símbolos o expresiones que permiten determinar cantidad

de una proposición.

Los Cuantificadores Universales se simbolizan de esta Manera:

Los cuantificadores universales pueden ser afirmativos o negativos. Hay diferentes

casos donde las frases caracterizan por tener una connotación negativa:

Ej: Nadie Ganó el partido de fútbol

La frases que comúnmente se usan son:

1. Para ninguno
2. ninguno
3. No
4. Nada
5. Nadie

Ejemplo Ningún colombiano le gusta dar propinas, se puede expresar de la

siguiente forma:
∀𝑥(−𝐶(𝑥) ) ⇒ 𝑃𝑟𝑜𝑝𝑖𝑛𝑎(𝑥)

Para Ningún ser Humano es importante el dinero y los objetos materiales.

∀𝑥 (−𝐻𝑢𝑚𝑎𝑛𝑜(𝑥) )𝐷𝑖𝑛𝑒𝑟𝑜(𝑥) ∨ 𝑜𝑏𝑗𝑒𝑡𝑜 𝑚𝑎𝑡𝑒𝑟𝑖𝑎𝑙
por ejemplo "no es cierto que hay fantasmas" la cual se simboliza como

−(∃𝑥)(𝐹𝑥)

donde Fx simboliza la expresión "x es un fantasma".

Análogamente a lo que ocurre con los cuantificadores universales, las

proposiciones existenciales puede tener negaciones internas como "algo no es
mortal" la cual se simboliza como:

(∃𝑥)(−𝑀𝑥)

donde Mx simboliza la expresión "x es mortal".

Tablas De Verdad

Ejercicio 2.
El arcoíris se forma con muchos colores si y sólo si el agua de lluvia interactúa con
los rayos de luz solar o si el sol está detrás de las nubes entonces, el arcoíris no se
forma con muchos colores
P = Arcoiris de muchos colores
q= agua de lluvia
r= luz solar
-P = Arcoiris sin muchos colores

-r= no hay luz solar(el sol está detrás de las nubes)

q= agua de lluvia
En este caso el ejercicio es de Contingencia el cual presenta una combinación de verdadero y falso.
Ejercicio 3.(si p entonces q) o (r o s)

P q R s (𝑝 → 𝑞) ∧ (𝑟 ∧ 𝑠)

v v V v v

v v V f f

v v F v f

v v F f f

v f V v f

v f V f f

v f F v f

v f F f f

f v V v v

f v V f f

f v F v f

f v F f f

f f V v v

f f V f f

f f F v f

f f F f f

Es de CONTINGENCIA se combinan tanto verdadero como falso

 Conclusiones

 Se cumple con el objetivo de entender los conceptos para relacionarse con

el curso.

 Podemos ver la diferencia de los cuantificadores universales y su relación.

 Se logra aplicar los conceptos vistos para realizar los ejercicios propuestos.

 Aprendimos a realizar tablas de verdad.

 Bibliografía

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

computación. Retrieved from http://ebookcentral.proquest.com Created
from unadsp on 2019-02-11 08:47:29.

 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:2460/lib/unadsp/reader.action?ppg=20&
docID=3226457&tm=1529246259924

 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