1.Función proposicional
Es aquel enunciado que contiene una variable y que tiene la propiedad de convertirse en verdadero o falso para cierto valor de la variable. Las funciones proposicionales se pueden representar por: p(x), q(x), r(x), etc., donde “x” sería la variable.
2. Cuantificadores universal y existencial
2.1 Cuantificador Universal
Si a una función proposicional, le anteponemos la expresión “para todo x”, estaremos indicando el sentido universal de dicha función proposicional, obteniéndose ahora una proposición lógica.
2.2 Cuantificador Existencial
Es aquel enunciado que contiene una variable y que tiene la propiedad de convertirse en verdadero o falso para cierto valor de la variable. Las funciones proposicionales se pueden representar por: p(x), q(x), r(x), etc., donde “x” sería la variable.
2. Cuantificadores universal y existencial
2.1 Cuantificador Universal
Si a una función proposicional, le anteponemos la expresión “para todo x”, estaremos indicando el sentido universal de dicha función proposicional, obteniéndose ahora una proposición lógica.
2.2 Cuantificador Existencial