INTRODUCCION

En el presente trabajo después de realizar un estudio detallado de los temas de la unidad

1 se realizaran diversos tipos de ejercicios donde se evidencia la conceptualización y
practica de los temas de los tipos de cuantificadores universales y existenciales, así
como la teoría de conjuntos y las tablas de verdad que permiten la solución de ejercicios
prácticos de la vida diaria.
OBJETIVO GENERAL

Comprender los conceptos fundamentales de la lógica proposicional y aplicarlos para la

resolución de problemas.

OBJETIVOS ESPECIFICOS

 Identificar los diversos tipos de cuantificadores universales y existenciales.

 Identificar el lenguaje natural y simbólico de proposiciones compuestas.
 Elaborar las tablas de verdad de proposiciones compuestas.
 Diferenciar una contradicción, contingencia y tautología.
DESARROLLO ACTIVIDAD

Ejercicio 1: Conceptualización de Cuantificadores

Cuantificador Universal negativo.

La proposición recibe el nombre universal negativo, porque la proposición niega que la

relación de inclusión de clase tenga lugar entre las dos clases y lo niega en forma
universal: no hay ningún miembro de S que también lo sea de P.

S P

Ningun S es P

Ejemplo 1

Ningún conductor de automóvil responsable es un peligro para la vida de los

demás.

Niega (en forma universal) que los conductores responsables son un peligro para la vida
de los demás.

En este caso se hace referencia a dos clases:

1. Conductor de automóvil responsable y
2. personas que ponen en peligro la vida de los demás
La primera clase excluye a la segunda, la excluye totalmente, es decir, que no hay
ningún miembro de la primera clase (conductor responsable) que también pertenezca a
la segunda (que represente un peligro para la vida de los demás). Todas las
proposiciones universales negativas se pueden escribir así:
Donde S representa el término sujeto y P el término predicado.

Ejemplo 2
Ningún planeta es plano
Niega (en forma universal) que los planteas no son planos

En este caso se hace referencia a dos clases:

1. planetas
2. no son planos
No hay ningún miembro de la primera clase (planteas) que también pertenezca a la
segunda (sean planos).

Donde S representa el término sujeto y P el término predicado

LINK DE PRESENTACION

https://prezi.com/p/4zv-uutvcng-/

Ejercicio 2: Proposiciones y Tablas de verdad

B. Aprender matemáticas desarrolla el razonamiento lógico si y solo si se posee una

buena comprensión lectora y buena ortografía
Proposiciones simples

p: Aprender matemáticas desarrolla el razonamiento lógico

q: se posee una buena comprensión lectora

r: se posee una buena ortografía

Lenguaje simbólico

𝑝 ↔ (𝑞 ^ 𝑟)

Tabla de verdad

p q r
v v v v v
v v f f f
v f v f f
v f f f f
f v v v f
f v f f v
f f v f v
f f f f v
Tabla simulador practico

CONTINGENCIA

Ejercicio 3: Problemas de aplicación

Expresión formal o simbólica

B. (¬𝑝 → 𝑞) ∧ (𝑟 ∨ 𝑞)

Definición de las proposiciones simples:

p: ingreso a la universidad

q: pierdo mi trabajo

r: estudio ingeniería

Lenguaje natural de la expresión formal:

Si no ingreso a la universidad entonces pierdo mi trabajo y estudio ingeniería o pierdo

mi trabajo.
Tabla de verdad

p q r -p

v v v f v v v
v v f f v v v
v f v f v v v
v f f f v f f
f v v v v v v
f v f v v v v
f f v v f v f
f f f v f f f

Tabla de Simulador

CONTINGENCIA
CONCLUSIONES

 Es de vital importantica la debida identificación de los tipos de cuantificadores

universales y existenciales, ya que de ellos dependerá la debida negación de los
mismos.
 La lógica ofrece métodos que enseñan cómo elaborar proposiciones, evaluar su
valor de verdad y determinar si las conclusiones se han deducido correctamente.
 La lógica proporcional nos permite a desarrollar los procesos de pensamiento
encontrando sentido lógico a los mismos.
REFERENCIAS BIBLIOGRÁFICAS

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://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=109&docID
=3199701&tm=1529510366591

http://files.logica-de-la-triangulacion.webnode.es/200000169-
beaa0bfa3b/Guia%20Pensamiento%20Logico%20ST%202014-2.pdf

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=3
226457&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

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.