El documento explica las funciones proposicionales y los cuantificadores en lógica de predicados. Las funciones proposicionales son expresiones que contienen una o más variables y solo se convierten en proposiciones cuando se les asignan valores específicos a las variables. Los cuantificadores (universal y existencial) transforman funciones proposicionales en proposiciones al generalizar o particularizar sobre un dominio. Se proveen ejemplos detallados de cómo usar funciones proposicionales y cuantificadores, así como las reglas para negar proposic
0 calificaciones0% encontró este documento útil (0 votos)
588 vistas5 páginas
El documento explica las funciones proposicionales y los cuantificadores en lógica de predicados. Las funciones proposicionales son expresiones que contienen una o más variables y solo se convierten en proposiciones cuando se les asignan valores específicos a las variables. Los cuantificadores (universal y existencial) transforman funciones proposicionales en proposiciones al generalizar o particularizar sobre un dominio. Se proveen ejemplos detallados de cómo usar funciones proposicionales y cuantificadores, así como las reglas para negar proposic
El documento explica las funciones proposicionales y los cuantificadores en lógica de predicados. Las funciones proposicionales son expresiones que contienen una o más variables y solo se convierten en proposiciones cuando se les asignan valores específicos a las variables. Los cuantificadores (universal y existencial) transforman funciones proposicionales en proposiciones al generalizar o particularizar sobre un dominio. Se proveen ejemplos detallados de cómo usar funciones proposicionales y cuantificadores, así como las reglas para negar proposic
El documento explica las funciones proposicionales y los cuantificadores en lógica de predicados. Las funciones proposicionales son expresiones que contienen una o más variables y solo se convierten en proposiciones cuando se les asignan valores específicos a las variables. Los cuantificadores (universal y existencial) transforman funciones proposicionales en proposiciones al generalizar o particularizar sobre un dominio. Se proveen ejemplos detallados de cómo usar funciones proposicionales y cuantificadores, así como las reglas para negar proposic
Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
Descargar como docx, pdf o txt
Está en la página 1/ 5
1.
funciones proposicionales: Existen expresiones que parecen proposiciones, pero no lo son. Tienen uno o ms sujetos que cumplen una determinada propiedad. Ejemplos: x es un nmero par ; x + y < 2000 ; x > 3 x < 5 , x obreros preparan un paro y un piquete en la ruta 9 . No son proposiciones puesto que no esta definido el o los sujetos a que hace referencia la propiedad y no se puede saber si es verdadera o falsa la expresin. Son Formas proposicionales Se denomina forma proposicional o funcin proposicional, a una expresin que contiene una o ms indeterminadas que, al ser reemplazadas por elementos de un conjunto fijado (dominio de la variable) se transforma en una proposicin. Se simboliza con : P(x) , Q(x), P(x,y) , R(x,y,z) , etc donde x, y, .. son las indeterminadas La construccin de proposiciones requiere la definicin previa de un dominio de trminos posibles que le llamaremos U , Universo de la funcin proposicional (conjunto de valores posibles que sustituyen a la/s variable/s o indeterminadas. Ejemplo: U = { 1, 2, 3, 4} universo de discurso p(x) : x es par forma proposicional donde x est indeterminada y puede tomar los valores del conjunto fijado U, as: si x = 1, p(x) se convierte en: si x= 2, p(2) : 2 es par
p(1) :1 es par proposicin falsa
proposicin verdadera
Las formas proposicionales pueden ser simples o compuestas dependiendo
de la presencia de conectivas. Ejemplo: x > 3 x < 5 lo podemos expresar como: P(x) Q(x) ( prop. compuesta) Supongamos que el universo de los elementos de x sea: U = Z ( nmeros enteros) Si x = 2, la funcin se convierte en una proposicin falsa pues: 2 >3 2 < 5 Si x = 4 da nicamente proposicin verdadera ( es el nico caso) Como interesan las proposiciones verdaderas deberemos precisar otro conjunto que est incluido en el Universal y que contenga los valores verdaderos.
2. Cuantificadores: Los cuantificadores nos permiten construir proposiciones a partir de funciones proposicionales ya sea particularizando o generalizando. Ejemplifiquemos esto. Si consideramos la funcin proposicional P(x) : x es mayor que 0, podemos particularizar esto diciendo: Existe un numero real que es mayor que 0 o generalizarlo diciendo Todos los nmeros reales son mayores que 0. Notemos que tanto en la particularizacin como en la generalizacin se especifica un conjunto en donde toma valores la variable, en este ejemplo el conjunto son los nmeros reales. Existe una notacin especfica para la particularizacin y la generalizacin: x R | x > 0 Que se lee existe un x R tal que x es mayor que 0; mientras que x R, x > 0 Se lee para todo x R se cumple que x es mayor que 0. El smbolo se llama cuantificador universal y el smbolo es el cuantificador existencial Como ya lo hemos afirmado, un cuantificador transforma una funcin proposicional en una proposicin, a la cual se le asigna un valor de verdad. EJEMPLO: Consideremos la funcin proposicional P(x): 4x es par. Entonces la proposicin n N, P(n) Es decir, para todo n natural se cumple que 4 n es par, es equivalente a enunciar 4 1 es par y 4 2 es par y 4 3 es par y 4 4 es par y.... Por lo tanto esta proposicin es verdadera ya que cada una de las proposiciones P(n) es verdadera. El cuantificador universal: indica que algo es cierto para todos los individuos Sea A una expresin 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 smbolo se lee para todo.
Ejemplo 1: Expresar todos los gatos tienen cola en clculo de predicados. Solucin: Hallar primero el mbito del cuantificador universal, que es Si x es un gato, entonces x tiene cola y se define como Gx x es un gato Cx x tiene cola (x) Gx Cx Ejemplo 2: Cada nmero positivo es mayor que cero 1 es un nmero positivo 3 es un nmero positivo Por lo tanto, 1 y 3 son mayores que cero Se define: Px x es un nmero positivo Demostrar 1>0 & 3>0 s.. El Cuantificador Existencial: Si p(x) es una funcin proposicional en U, entonces la expresin: x p(x); Se lee existe x tal que p(x) y significa que hay al menos un elemento a que pertenece al universo, de modo que p(a) es verdadera. Ejemplo: 1. Sea A = {1, 2, 3, 4, 5}. Determine el valor de verdad de cada uno de los enunciados siguientes:
a. ( X E A) (X+3=10) Es FALSO porque ningn nmero de A es una solucin de x+3=10 b. (XEA) (X+3 <10) Es VERDADERO. Cualquier nmero de A cumple que x+3<10
Cuantificador existencial de unicidad:
Hay un cuantificador ms que se utiliza con frecuencia: Definicin (Existencia y unicidad) La proposicin (!x)p(x), que se lee existe un nico x tal que p(x), es verdadera cuando hay exactamente una cadena de smbolos hace verdadero p(x). Ejemplo 1: Nuevamente, considerando nuestra funcin proposicional p(x) = x es un jugador de futbol. Cul ser el valor de verdad de (!x) p(x)?
Podemos notar que tanto x1 = Marcelo Salas y x2 = Matas Fernndez hacen
que p(x) sea verdadera. Es decir, si bien existe un x que hace a p(x) verdadera, no es nico. As, (!x) p(x) es falsa. Observacin: Notemos que ! no es un cuantificador nuevo, en el sentido de que puede ser definido en funcin de los dos cuantificadores anteriores. Es decir la siguiente proposicin es verdadera. Reglas de negacin de los cuantificadores: La negacin de la proposicin en la cual se ha utilizado el cuantificador universal, corresponde a una proposicin en la cual se utiliza el cuantificador existencial; a su vez, la negacin de una proposicin en la cual se ha usado el cuantificador existencial, corresponde a una proposicion en la cual se utiliza el cuantificador universal. EJEMPLO: Negar las siguientes proposiciones cuantificadas. Luego, simbolizar la proposicion y la negacin. a. Todos los nmeros naturales sin iguales Negacin: existe por lo menos un nmero natural que no es impar simblicamente. B. existe un nmero par que no es mltiplo de 4. Negacin: todos los nmeros pares son mltiplos de 4 simblicamente. Sea p(x) una funcin proposicional con extensin A, entonces (x A)p(x)=( x A)p(x) (x A)p(x)=( x A)p(x)
Proposiciones con dos o ms cuantificadores:
En la lgica de predicados, las proposiciones utilizan un conjunto de smbolos que aparecern en distintas formalizaciones siguiendo reglas sintcticas de construccin. De esta manera podemos hacer combinaciones de variables, conectivos, cuantificadores, etc Ejemplo:
Dada la expresin Cada estudiante del ITESCAM tiene una computadora
o tiene al menos un amigo que tiene una computadora, formalizarla utilizando cuantificadores. Donde: C(x) es x tiene una computadora. F(y) es y son amigos que tienen una computadora del universo estudiantes del ITESCAM. x(C(x) v y (F(y))
