Algebra001
- 1. Función Proposicional Sea ( A, P(x) ) Una función proposicional. Se llama dominio de verdad de esta función proposicional al conjunto formado por todos los elementos A de a tales que P(a) es verdadera. El cuantificador universal Indica que algo es cierto para todos los individuos. Sea A una expresión y sea x una variable, si deseamos indicar que A es verdadero para todos los posibles valores de x, escribiremos (∀x) A. • (∀x) es cuantificador universal • A es el ámbito (alcance) del cuantificador. • El símbolo ∀ se lee “para todo”. Para todo elemento x de A, P(x), que se simboliza del modo siguiente: El cuantificador existencial Indica que todas las funciones proposicionales que se escriben a su derecha se verifica para por lo menos un valor considerado para la variable o variables de la función proposicional Le escribiremos simbólicamente del modo siguiente: El Cuantificador Existencial de unidad Cuando sólo hay un elemento en el conjunto que cumple con la proposición se escribe !x:p(x), se lee existe un único x tal que p(x) es verdadero. Se leera de cualquiera de las siguientes formas: a. Existe un único x en A tal que P(x) b. Existe un solo un x en A tal que P(x) c. Existe uno y solo un x en A tal que P(x) d. P(x), para un único x en A
- 2. Reglas de negación de Cuantificadores Las dos leyes de De Morgan nos proporcionan las relaciones entre la negación, la conjunción y la disyunción. Como las proposiciones universales y existenciales son generalizaciones de la conjunción y disyunción, respectivamente, es de esperar que las leyes de De Morgan también tengan sus respectivas generalizaciones. Efectivamente así sucede con de De Morgan o reglas de la negación de cuantificadores. Estas dicen lo siguiente: En otras palabras, estas reglas nos dicen que para negar una proposición con cuantificadores se cambia el cuantificador, universal a existencial o de existencial a universal, y se niega la proposición cuantificada. La negación de la proposición en la cual se ha utilizado el cuantificador universal corresponde a una proposición en la cual se utiliza el cuantificador existencial; a su vez, la negación de una proposición en la cual se ha usado el cuantificador existencial corresponde a una proposición en la cual se utiliza el cuantificador universal Ejemplos Negar las siguientes Proposiciones cuantificadas. Luego, simbolizar la proposición y la negación a. Todos los números son impares Negacion: existe por lo menos un números natural que no es impar simbólicamente b. Existe un numero par que no es múltiplo de 4 Negacion: Todos los números son pares con múltiplos simbólicamente Sea p(x) una función proposicional con extensión A, entonces
- 3. Proposiciones con dos Cuantificadores Podemos considerar funciones proposicionales de varias variables de la forma (A,B,C,P(x,y,z)), pero en nuestro caso trabajaremos con funciones proposicionales de dos variables, las cuales denotaremos por (A,B,P(x)) con dominio de x el conjunto A y dominio de y el conjunto B. Así podemos obtener las siguientes proposiciones: (" xÎ A)(" yÎ B)(P(x,y))º (" yÎ B)(" xÎ A)(P(x,y)) 1. ($ xÎ A)($ yÎ B)(P(x,y)) º ($ yÎ B)($ xÎ A)(P(x,y)) 2. (" xÎ A)($ yÎ B)(P(x,y)) 3. (" yÎ B)($ xÎ A)(P(x,y)) 4. ($ xÎ A)(" yÎ B)(P(x,y)) 5. ($ yÎ B)(" xÎ A)(P(x,y))