Universidad Nacional José Faustino Sánchez Carrión

Facultad de Ingeniería

CLASIFICACIÓN DE LA
LÓGICA

ing. Alejandro M. Salazar Santibáñez

INTRODUCCIÓN
 La palabra “Lógica” significa razón, tratado o
ciencia.
 En computación es la ciencia que estudia la forma de
razonar correctamente, para obtener conclusiones
correctas.
 La lógica busca la verdad y establece las reglas para
hacer un razonamiento correcto
 Está relacionada con la racionalidad y la estructura de
los conceptos, estudia el pensamiento en sí.
CLASIFICACIÓN DE LA LÓGICA SEGÚN
LA EXTRUCTURA DE SUS CÁLCULOS

 Lógica de Proposiciones o de
Enunciados
 Lógica de Predicados o
Cuantificacional
 Lógica de 1º orden

 Lógica de 2º, 3º,…. ,nº orden

LÓGICA DE PROPOSICIONES
 El cálculo básico de la lógica formal es el cálculo de
enunciados o proposicional, cuyas formulas son
proposiciones, oraciones o enunciados sin analizar
internamente.
 Las oraciones en este tipo de lógica son las más
usuales que constituyen la unidad mínima de
significación
 El cálculo es hipotético, porque la deducción se
establece en una relación condicional entre la
premisa y la conclusión.
LÓGICA CUANTIFICACIONAL

 Se desarrollan los cálculos de predicados, que se

caracterizan por analizar las oraciones en sus
componentes (sujeto y predicado).
 A diferencia de la lógica proposicional, la lógica
cuantificacional es una lógica categorial, que las
relaciones se efectúan según se puedan establecer
o no relaciones de pertenencia
 Todos los hombres son
Los que tienen pelo
mamíferos. Y los mamíferos
tienen pelo. Entonces ¿Los
hombres tendrán pelo?
mamíferos

Hombres
LÓGICA DE PRIMER ORDEN

 A la unión del cálculo proposicional y del cálculo

cuantificacional, denominamos “Lógica de 1º
Orden”.
 Este cálculo tiene la restricción de que solo
podemos utilizar los cuantificadores con
elementos individuales, es decir, no podemos de
todas o de algunas de las clases de algún tipo.
LÓGICA DE 2º, 3º, …, Nº ORDEN

 Según se vayan calculando la lógica de primer

orden pasaremos a la segunda, y así
sucesivamente
Lógica de nº Orden

Lógica de 2º Orden

Lógica de 1º Orden

Lógica de
Predicados

Lógica
Proposicional
 CLASIFICACIÓN DE LA LÓGICA
SEGÚN EL NUMERO DE VALORES DE
VERDAD QUE SE ACEPTEN EN SUS
CÁLCULOS

 Lógica Clásica

 Lógica no Clásica
LÓGICA CLÁSICA

 Conocida también como “Lógica Formal” o

“Lógica Aristotélica”
 Se dedica al estudio de razonamientos correctos,
desarrollándose de manera formal y
esquematizada, de una forma no cotidiana.
 Cálculos bivalentes, es decir, sus fórmulas
pueden ser verdaderas o falsas, no puede ocurrir
que lo sean a la vez.
LÓGICA NO CLÁSICA

 La lógica no clásica se da cuando en los cálculos

lógicos se contemplan más valores de verdad que
lo verdadero y falso u otros recursos expresivos.
 Se puede decir que surge por la limitación
expresiva de la Lógica de 1º Orden. Ya que el
cálculo de 1º orden esta construido con muchas
restricciones
OTROS CÁLCULOS LÓGICOS

 Lógica Trivalente.- contempla tres valores de

verdad, verdadero, falso, lo que no es verdadero
ni falso, por desconocido o incierto.

 Lógicas Polivalentes.- son fundamentalmente

lógica probabilísticas en las que los valores de
verdad se corresponden con el intervalo ≤0,1≥
OTROS CÁLCULOS LÓGICOS

 Lógica Modal.- Incorpora como operadores

modificadores lo necesario, considera contextos
de necesidad o posibilidad.

 Lógica Temporal.- Incorpora parámetros

temporales, para muchas oraciones su verdad
depende del momento en que se produce.
OTROS CÁLCULOS LÓGICOS

 Lógica Epistémica.- Es una lógica intencional

que pretende formalizar enunciados de creencia,
opinión, etc.

 Lógica Nomonotónica.- Pretende formalizar

situaciones reales en las que decidimos sin un
total de información y que posteriormente admite,
conformen se prueben o refuten creencias.
GRACIAS