LÓGICA CUANTIFICACIONAL

DEFINICIÓN Es llamada también lógica de predicados o lógica de primer orden. La lógica cuantificacional estudia la composición íntima de las proposiciones, utiliza nuevos símbolos, leyes y métodos para establecer la validez de los razonamientos. Esta lógica estudia de manera más detallada los predicados a través del uso de cuantificadores que expresan cantidad. El sistema de notación consta de los siguientes elementos, que vienen a ser su lenguaje: A) B) C) D) E) F) Operadores proposicionales Constantes individuales Variables Operadores de cuantificación o simplemente, cuantificadores y Metavariables Símbolos de agrupación. 1.- RAZONAMIENTOS CON PROPOSICIONES SIMPLES Anteriormente hemos utilizado razonamientos formados por proposiciones compuestas y hemos estudiado diversos métodos para demostrar su validez. Hay otro tipo de razonamientos formados por proposiciones simples: 2.- PROPOSICIONES SINGULARES La proposición singular se compone de: argumento y predicado. 3.- FUNCIONES PROPOSICIONALES Una función proposicional es una frase donde figura una variable que al ser sustituida por un valor dentro de un conjunto de valores se convierte en una proposición. Y que tiene la propiedad de convertirse en verdadero o falso, para cierto valor que le asignemos a dicha variable.

La función proposicional no es una proposición, por lo tanto, no se puede decir nada acerca de su valor de verdad. Se denotan o representan por: p(x) ó p(x), q(x) ó q(x), r(x) ó r(x), etc., donde “ x ” es la variable proposicional.

válido o inválido. Cuantificador Existencial..CUANTIFICADORES La definición de “Cuantificadores” comprende cálculos matemáticos. También se dice que los cuantificadores son símbolos utilizados para indicar cuántos elementos de un conjunto dado cumplen con cierta propiedad. se habla de un “Cuantificador” para determinar un valor como verdadero y falso. puesto que es un modo de hablar “en general”. se escribe Existe x tal que p(x). Se llama (a "existe") cuantificador existencial.4. que vinculan una serie de variables. de las muchas formas que puede revestir el procedimiento de generalización. este procedimiento para convertir un predicado en una proposición recibe el nombre de “generalización”. dos son especialmente útiles: Cuantificador Universal. A través de la cuantificación también se puede crear proposiciones desde una función proposicional. Si la unión de todas las proposiciones que origina una función proposicional p(x) es cierta. El cuantificador existencial al menos uno o existe uno asociado a una expresión de cálculo de predicados F se representa por la expresión (∃x) F y es verdadera cuando por lo menos una instancia de la fórmula es verdadera al sustituir por la variable x uno de los valores posibles del dominio. De este modo. El cuantificador universal para todo asociado a una expresión de cálculo de predicados F se representa por la expresión (∀x) F y es verdadera cuando todas las instancias de la fórmula son verdaderas al sustituir la variable x en la fórmula por cada uno de los valores posibles del dominio. .

Sign up to vote on this title
UsefulNot useful