Está en la página 1de 7

REPUBLICA BOLIVARIANA DE VENEZUELA

MINISTERIO DEL PODER POPULAR PARA LA EDUCACION


UNIVERSIDAD JOSE ANTONIO PAEZ
VALENCIA-CARABOBO

Lógica Cuantificacional

Nombre: Carlos Rondón

C.I: 30.251.681

Profesor: Carmelo Parra

Valencia, 27 de Mayo del 2019


INTRODUCCIÓN

La Lógica como lenguaje formar puede definirse como aquella ciencia o reflexión
sistemática que estudia las condiciones o leyes que deben cumplir todo
racionamiento para que sea formalmente valido.

¿Ahora bien, en que se especializa la lógica cuantitativa? ¿De qué manera son
analizados sus tipos de cuantificadores para determinar una respuesta en base a
un predicado? Recordemos que esta utiliza símbolos, leyes y diferentes métodos,
y que cuando hablamos de cuantificador buscamos es determinar un valor como
verdadero o falso.

Los cuantificadores comprenden cálculos matemáticos que vinculan una serie de


variables. Buscaremos la forma de establecer en que difiere un cuantificador
universal de uno existencial; los cuales lo demostraremos a través de ejemplos,
demostraciones y argumentaciones que así lo comprueben.

Como el desarrollo histórico y las aplicaciones de la lógica de primer orden están


muy ligados a la matemática, en lo que se sigue se hará una introducción que
contemple e ilustre esta relación, tomando ejemplos tanto de la matemática como
del lenguaje natural. Primero se introducen cada uno de los conceptos básicos del
sistema y luego se muestra cómo utilizarlos para analizar argumentos.

Buscando que el presente informe sirva para despejar algunas dudas con respecto
al tema, y que el mismo sea el inicio para los venideros temas que mantengan
relación con este.
LÓGICA CUANTIFICACIONAL

Es llamada también lógica de predicados o lógica de primer orden.

La lógica cuantificacional estudia la composición intima de las proposiciones,


utiliza nuevos símbolos, leyes y métodos para establecer 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) Operadores proposicionales.
b) Constantes individuales.
c) Variables.
d) Cuantificadores.
e) Metavariables
f) Símbolos de agrupación.

CUANTIFICADORES

La definición de “Cuantificadores” comprende cálculos matemáticos, que vinculan


una serie de variables. De este modo, se habla de un “Cuantificador” para
determinar un valor como verdadero y falso, válido o inválido.

También se dice que los cuantificadores son símbolos utilizados para indicar
cuántos elementos de un conjunto dado cumplen con cierta propiedad.
A través de la cuantificación también se puede crear proposiciones desde una
función proposicional, este procedimiento para convertir un predicado en una
proposición recibe el nombre de “generalización”, puesto que es un modo de
hablar “en general”, de las muchas formas que puede revestir el procedimiento de
generalización.
CUANTIFICADOR UNIVERSAL

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. Si la intersección de todas las
proposiciones que origina una función proposicional es cierta se escribe: Para todo
x, p(x). Se llama (a "para todo") cuantificador universal.

Así por ejemplo si tenemos que la fórmula es T(x) donde T representa “es alumno
del ITT” y x representa un alumno de Tijuana, la fórmula (∀ x) T(x) es falsa pues
sabemos que hay alumnos en Tijuana que no son del ITT.

Todos los hombres son mortales se puede representar por (∀ x) (H(x) → M(x))

CUANTIFICADOR EXISTENCIAL

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.

Así por ejemplo en el mismo caso del anterior la expresión (∃ x) T(x) es verdadera
pues sabemos que sí es verdad que al menos un estudiante es alumno del ITT.
CUADRO LÓGICO DE OPOSICIÓN

Fue ideado por el traductor y comentador de Aristóteles Julius Pacius (siglo XVI).
Durante mucho tiempo ha servido de recurso mnemotécnico para recordar las
relaciones entre las clases de juicios de la lógica aristotélica. Ofrece el aspecto de
un diagrama en el que dichas relaciones se presentan gráficamente. Las letras A,
E, I, O simbolizan, respectivamente, los juicios universal afirmativo, universal
negativo, particular afirmativo y particular negativo.
VALIDEZ

Dar razones es una práctica cotidiana en nuestras vidas, es parte del ser
comunicativo del hombre. Las realizamos cuando solicitamos un permiso para ir a
una fiesta, cuando cometemos errores y se molestan con nosotros y
acostumbramos a ofrecer razones.

La clave es el razonamiento, a partir de un argumento expresamos ideas de forma


clara y precisa, que sean entendibles, llevando a cabo reglas que nos permitan
formular argumentos válidos.

Los actos humanos tienen consecuencias y esto se expresa mediante enunciados


y argumentos.

De un enunciado se pueden sacar varias consecuencias.

Ejemplo; del enunciado.

“Todas las mujeres merecen respeto”

Se obtiene lo siguiente:

Adriana merece respeto.

Sofía merece respeto

Carla merece respeto

Las consecuencias se derivan del enunciado anterior o premisa.

Un argumento es valido si se cumple:

Que sus premisas y conclusión sean verdaderas.

Pero tambien puede ser valido con premisas falsas y conclusion verdadera, lo que
nunca sera valido es con premisas verdaderas y conclusion falsa.
CONCLUSIÓN

Con esta investigación hemos obtenido un amplio conocimiento sobre la Lógica


Cuantificacional aunque con este material no es suficiente por lo amplio que es
este tema, pero nos dio una iniciación en la catedra en estudio, con esto queremos
decir que hemos entendido, en parte, la mayoría de los conceptos y estudios
referentes a los temas antes mencionados; estos temas nos han parecido
bastante amplios e indispensables para nuestro crecimiento intelectual, ya que
ellos nos sirven de herramienta para cualquier actividad en nuestra existencia, en
especial con áreas de estudios y áreas de trabajo que se vinculan con los
estudiado, aunque no es demás decir que la Lógica Cuantificacional se aplican a
cualquier tema, sea social y científico.

Determinamos así que la representación del conocimiento es un área de


inteligencia artificial, cuyo objetivo principal es el de representar, el conocimiento
de una manera que facilite, sacar conclusiones a partir de dicho conocimiento.
Analizamos como un sistema puede determinar la validez o no de una frase o
predicado.

Así de este modo determinamos que esta lógica en particular estudia la


composición intima de las proposiciones, utiliza nuevos símbolos, leyes y métodos
para establecer la validez de los razonamientos.