WARNING:
JavaScript is turned OFF. None of the links on this concept map will
work until it is reactivated.
If you need help turning JavaScript On, click here.
Este Cmap, tiene información relacionada con: LÓGICA CUANTIFICACIONAL, LÓGICA CUANTIFICACIONAL ????, ???? NEGACIÓN DE PROPOSICIÓN CON CUANTIFICADORES, LÓGICA MATEMÁTICA ???? LÓGICA CUANTIFICACIONAL, LÓGICA CUANTIFICACIONAL tenemos FUNCIÓN PROPOSICIONAL: Todo enunciado abierto de la forma P(x) se denomina función proposicional la cual tiene la propiedad de convertirse en una proposición al ser sustituido la variable x por una constante “a” especifica, al conjunto de todos los valores convenidos para la variable x se denomina dominio de la variable. De acuerdo a la definición de enunciado abierto, la función proposicional sobre D es toda expresión P(x) donde P(a) es verdadero o falso para todo a pertenece D., FUNCIÓN PROPOSICIONAL: Todo enunciado abierto de la forma P(x) se denomina función proposicional la cual tiene la propiedad de convertirse en una proposición al ser sustituido la variable x por una constante “a” especifica, al conjunto de todos los valores convenidos para la variable x se denomina dominio de la variable. De acuerdo a la definición de enunciado abierto, la función proposicional sobre D es toda expresión P(x) donde P(a) es verdadero o falso para todo a pertenece D. ???? CUANTIFICADORES EXISTENCIAL Y UNIVERSAL Se ha visto un método que nos permite que a partir de una función proposicional P(x) se puede obtener proposiciones, sin embargo se tiene otro método completamente distinto que permite obtener proposiciones a partir de una función proposicional, dicho método es llamado cuantificadores.