Resumen

1. U.F.T.
• ESTRUCTURAS DISCRETAS
• RAUL JURADO

2. FUNCIONES PROPOSICIONALES
1-Funcion propocional. (A,P(X)), con dominio un conjunto A. Al remplazar la
variable x de p(X) por elementos de A obtenemos proposiciones verdaderas
o falsas
-Constituida por una variable X
-Conjunto llamado Dominio
-Cuantificadores: todos algunos UN solo y ningunos
-Dominio de verdad: cuando la funcion proposicional es verdadera

3. Cuantificador Universal
• -Denotado conel simbolo “, que es una
(A)invertida
• -Funcion proposicional mas funcion universal
obtenemos:(“xÎA)(P(x))...1

4. Cuantificador Existencial
• Existe al menos uno y se le denota con el
simbolo, que es una E al reves
• -Simboligia:Æx,y...

5. Cuantificador existencial de unidad
• -caso particular “existe almenos uno”
• -simbolizado por $!
• -expresion: ($!xÎA)(P(x))...3

6. Regla de negacion de cuantificadores
• -Las reglasde morgan nos proporcionan las
relaciones entre la negacion, la conjugacion y
la disyuncion
• -Las reglas de morgan tambien tienen sus
generalizaciones de conjunciony disyuncion

7. :-Para negar proposicioncon cuantificadores se
cambia el cuantificador, de universal a
existencial o veceversa, y se niega la posicion
cuantificada
- La negacion de todo es alguno NO y que la
negacion de alguno es NINGUNO