P. 1
LÓGICA CUANTIFICACIONAL

LÓGICA CUANTIFICACIONAL

|Views: 17.092|Likes:
Publicado porCelina Figueroa

More info:

Published by: Celina Figueroa on May 16, 2012
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as DOCX, PDF, TXT or read online from Scribd
See more
See less

11/09/2015

pdf

text

original

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.

se escribe Existe x tal que p(x). este procedimiento para convertir un predicado en una proposición recibe el nombre de “generalización”. . 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. Si la unión de todas las proposiciones que origina una función proposicional p(x) es cierta. 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. válido o inválido. A través de la cuantificación también se puede crear proposiciones desde una función proposicional. Se llama (a "existe") cuantificador existencial.4. que vinculan una serie de variables. puesto que es un modo de hablar “en general”. Cuantificador Existencial. de las muchas formas que puede revestir el procedimiento de generalización. De este modo. 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. dos son especialmente útiles: Cuantificador Universal.CUANTIFICADORES La definición de “Cuantificadores” comprende cálculos matemáticos.

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->