Carla Montilla 26474072 Estructuras Discretas 1 Universidad Fermín Toro

1. RESUMEN (UNIDAD II)
CÁLCULO DE
PREDICADOS
Carla Soraly Montilla García 26.474.072
UNIVERSIDAD FERMIN
TORO
VICERECTORADO
ACADÉMICO
FACULTAD DE INGENIERÍA
ESCUELA DE
COMPUTACIÓN
SAIA B

2. Funciones proposicionales
 Función proposicional:
 (A, P(x))
 A es el conjunto dominio.
 P(x) es la proposición abierta (verdadera o falsa)
 Es una función donde se obtienen proposiciones
verdaderas o falsas al reemplazar la variable x
por elementos del conjunto A. Pueden ser todos,
algunos, uno o ninguno de sus elementos los que
respondan a una proposición verdadera.
 Dominio de verdad: Es el conjunto formado por
los elementos de A que hacen de P(x) una
proposición verdadera.

3. Cuantificadores
CUANTIFICADOR UNIVERSAL

 Es el símbolo que denota “todos” los elementos de un conjunto A.
 Aplicado a una proposición P(x) significa todo elemento de A sustituido
en x como ( ) y la misma se convertiría en una
proposición universal.
CUANTIFICADOR EXISTENCIAL

 Existe al menos uno. Aplicado a las proposiciones se denotan
proposiciones existenciales (.
CUANTIFICADOR EXISTENCIAL DE UNICIDAD
 !
 También existe al menos uno.

4. Reglas de la Negación de
Cuantificadores
 Las leyes de De Morgan relacionan la
negación, la conjunción y la disyunción.
 Las leyes de De Morgan (negación de
cuantificadores) dicen que para negar una
proposición con cuantificadores:
 Se cambia el
cuantificador, de universal a existencial.
 Puede hacerse de la forma contraria, y se
niega la proposición cuantificada.

5. Proposiciones con dos
Cuantificadores
 Funciones proposicionales de dos variables.
 De estas proposiciones se obtiene el valor
lógico analizando el dominio y sus
cuantificadores.
 Las proposiciones de dos cuantificadores igual
pueden negarse.

6. BIBLIOGRAFÍA
 EncuRed (2015) [Documento en línea]
Disponible en:
http://www.ecured.cu/C%C3%A1lculo_de_pre
dicados
 Material facilitado en la plataforma (Profesor
Domingo Méndez) Unidad 2