LOGICA

Universidad Nororiental Privada
“Gran Mariscal de Ayacucho”

Facultad de Ingeniería
Carrera: Ing. Informática
Asignatura: LÓGICA
Sede: Edif. Centro Cívico, Piso 1
Ciudad Guayana – Edo. Bolivar
Historia de
la Lógica
Profesora: Alumno:
Yumilva Fermín Luis Briceño
C.I: 31.462.898
Ciudad Guayana, Septiembre 2024

1
HISTORIA
Orígenes: La lógica surgió en civilizaciones antiguas como China,

India y Grecia, entre los siglos V y I a.C. y Fue en Grecia donde la
lógica comenzó a tomar forma como una disciplina formal.
Filósofos como Aristóteles son considerados los padres de la
lógica occidental. Aristóteles desarrolló la silogística, un sistema
formal para deducir conclusiones a partir de premisas.
Aristóteles: Considerado el padre de la lógica occidental,

formalizó el razonamiento y creó el primer sistema lógico.
Edad Media: La lógica aristotélica dominó, pero también hubo

avances en la lógica islámica. la lógica aristotélica fue la
dominante en Europa, estudiada en las universidades y utilizada
en teología y filosofía y la Lógica Islámica al mismo tiempo y sus
filósofos islámicos hicieron contribuciones significativas a la
lógica, desarrollando nuevas ideas y técnicas.
Lógica moderna: Nace en el siglo XIX con Frege, quien buscaba

un lenguaje universal para la ciencia y A finales del siglo XIX, la
lógica experimentó una revolución con filósofos como Frege.
Frege buscaba crear un lenguaje universal para la ciencia, libre
de ambigüedades.
Siglo XX: La lógica se desarrolla junto a las matemáticas y se

aplica a diversas áreas del conocimiento. En el siglo XX, la lógica
se desarrolló de manera exponencial, vinculada estrechamente
con las matemáticas. Surgió la lógica matemática, que se aplica
en diversas áreas como la informática y la inteligencia artificial.
Logica de hoy:Hoy en día, existen múltiples sistemas lógicos,

cada uno con sus propias características y aplicaciones.La lógica
es fundamental en diversas disciplinas, desde las ciencias
naturales y sociales hasta la filosofía y la informática.
2
DEFINICIÓN
La lógica es la ciencia formal que estudia los principios y métodos

de razonamiento correcto. Se encarga de analizar la estructura de
los argumentos, las formas válidas de inferencia y las condiciones
bajo las cuales una conclusión se sigue necesariamente de un
conjunto de premisas
¿Qué abarca la lógica?
Lógica formal: Se enfoca en el estudio de los sistemas formales

de razonamiento, utilizando símbolos y reglas precisas para
analizar argumentos.
Lógica informal: Analiza los argumentos expresados en lenguaje

natural, como los que encontramos en debates, textos filosóficos
o conversaciones cotidianas.
Lógica matemática: Aplica los métodos de la lógica a las

matemáticas, permitiendo demostrar teoremas y construir
modelos formales.
Lógica filosófica: Explora las conexiones entre la lógica y otros

campos de la filosofía, como la metafísica, la epistemología y la
teoría del lenguaje.
3
LÓGICA DE PREPOSICIONES
La lógica de proposiciones, también conocida como cálculo

proposicional, es una rama de la lógica matemática que se centra
en el estudio de las proposiciones y las conectivas lógicas que las
relacionan también se conoce como la toma como elemento
básico las frases declarativas simples o proposiciones que son
aquellos elementos de una frase que constituyen por sí sólos una
unidad de comunicación de conocimientos y pueden ser
considerados Verdaderos o Falsos.
Ejemplo de proposiciones:
"El cielo es azul."
"2 + 2 = 5."
"La Tierra es plana."
Aplicaciones de la Lógica de Proposiciones:
Matemáticas: Demostración de teoremas, construcción de

modelos formales.
Informática: Diseño de circuitos digitales, programación lógica.
Filosofía: Análisis de argumentos, construcción de sistemas

formales.
4
Inteligencia Artificial: Razonamiento automático, sistemas
expertos.
¿Por qué es importante la lógica de

proposiciones?
La lógica de proposiciones nos proporciona una herramienta

poderosa para analizar y evaluar argumentos, identificar falacias
y construir razonamientos sólidos. Al comprender las reglas de la
lógica, podemos mejorar nuestra capacidad de pensar de manera
crítica y tomar decisiones informadas.
LÓGICA DE PREDICADOS
La lógica de predicados estudia las frases declarativas con mayor

grado de detalle, considerando la estructura interna de las
proposiciones. Se tomarán como elemento básico los objetos y
las relaciones entre dichos objetos. Es decir, se distingue:
 Qué se afirma (predicado o relación)
 De quién se afirma (objeto)
Desde la lógica de predicados, una proposición expresa

relaciones entre objetos y/o atributos asignados a los objetos. En
la oración "Juan es hermano de Pedro" lo que realmente se está
expresando es una relación (de hermandad) entre Juan y Pedro.
En la oración "Juan es estudiante de la universidad" se está
asignando un atributo a Juan.
5
La lógica de predicados es muy importante para representar el
conocimiento en Inteligencia Artificial; las oraciones anteriores se
representarían como "Hermano de (Juan, Pedro)" y "Estudiante
Universitario (Juan)"
Tipos de Lógica de Predicados
Lógica de primer orden: La más común, que permite cuantificar

sobre individuos pero no sobre propiedades o relaciones.
Lógica de segundo orden: Permite cuantificar sobre propiedades

y relaciones.
Lógica de orden superior: Generaliza la cuantificación a niveles

aún más altos.
En resumen,la lógica de predicados es una herramienta poderosa

para analizar y formalizar el razonamiento, proporcionando un
marco más rico y expresivo que la lógica proposicional. Es
esencial para comprender los fundamentos de las matemáticas,
la filosofía y la informática.
TEORÍAS BÁSICAS DE OTRAS LÓGICAS
Lógica Modal: Estudia los conceptos de posibilidad y necesidad
 Modos: Introduce modalidades como "posiblemente",

"necesariamente", "posiblemente no", "necesariamente
no".
6
 Aplicaciones: Filosofía, inteligencia artificial, teoría de la
decisión.
 Ejemplos: "Es posible que llueva mañana",

"Necesariamente 2+2=4".
Lógica Intuicionista: Rechaza el principio del tercero excluido

(una proposición es verdadera o falsa, no ambas a la vez).
 Aplicaciones: Constructivismo matemático, teoría de la

computación.
 Características: Enfatiza la constructibilidad de las pruebas.
Lógica Difusa: Permite grados de verdad intermedios entre

verdadero y falso.
 Aplicaciones: Sistemas de control, inteligencia artificial,

toma de decisiones.
 Características: Utiliza valores de verdad que son números

reales entre 0 y 1.
Lógica Temporal: Introduce operadores temporales como

"siempre", "alguna vez", "hasta que".
 Aplicaciones: Verificación de programas, especificación de

sistemas reactivos.
 Características: Permite razonar sobre eventos que ocurren

en el tiempo.
7
Lógica Epistémica: Estudia el conocimiento y la creencia.
 Modos: Introduce modalidades como "sabe que", "cree

que".
 Aplicaciones: Filosofía de la mente, inteligencia artificial.

LOGICA

Cargado por

Copyright:

Formatos disponibles

LOGICA

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

LOGICA

Cargado por

Copyright:

Formatos disponibles

Universidad Nororiental Privada

“Gran Mariscal de Ayacucho”

Ciudad Guayana, Septiembre 2024

Orígenes: La lógica surgió en civilizaciones antiguas como China,

Aristóteles: Considerado el padre de la lógica occidental,

Edad Media: La lógica aristotélica dominó, pero también hubo

Lógica moderna: Nace en el siglo XIX con Frege, quien buscaba

Siglo XX: La lógica se desarrolla junto a las matemáticas y se

Logica de hoy:Hoy en día, existen múltiples sistemas lógicos,

La lógica es la ciencia formal que estudia los principios y métodos

¿Qué abarca la lógica?

Lógica formal: Se enfoca en el estudio de los sistemas formales

Lógica informal: Analiza los argumentos expresados en lenguaje

Lógica matemática: Aplica los métodos de la lógica a las

Lógica filosófica: Explora las conexiones entre la lógica y otros

La lógica de proposiciones, también conocida como cálculo

"El cielo es azul."

"La Tierra es plana."

Aplicaciones de la Lógica de Proposiciones:

Matemáticas: Demostración de teoremas, construcción de

Informática: Diseño de circuitos digitales, programación lógica.

Filosofía: Análisis de argumentos, construcción de sistemas

¿Por qué es importante la lógica de

La lógica de proposiciones nos proporciona una herramienta

La lógica de predicados estudia las frases declarativas con mayor

 Qué se afirma (predicado o relación)

 De quién se afirma (objeto)

Desde la lógica de predicados, una proposición expresa

Tipos de Lógica de Predicados

Lógica de primer orden: La más común, que permite cuantificar

Lógica de segundo orden: Permite cuantificar sobre propiedades

Lógica de orden superior: Generaliza la cuantificación a niveles

En resumen,la lógica de predicados es una herramienta poderosa

TEORÍAS BÁSICAS DE OTRAS LÓGICAS

Lógica Modal: Estudia los conceptos de posibilidad y necesidad

 Modos: Introduce modalidades como "posiblemente",

 Ejemplos: "Es posible que llueva mañana",

Lógica Intuicionista: Rechaza el principio del tercero excluido

 Aplicaciones: Constructivismo matemático, teoría de la

 Características: Enfatiza la constructibilidad de las pruebas.

Lógica Difusa: Permite grados de verdad intermedios entre

 Aplicaciones: Sistemas de control, inteligencia artificial,

 Características: Utiliza valores de verdad que son números

Lógica Temporal: Introduce operadores temporales como

 Aplicaciones: Verificación de programas, especificación de

 Características: Permite razonar sobre eventos que ocurren

 Modos: Introduce modalidades como "sabe que", "cree

 Aplicaciones: Filosofía de la mente, inteligencia artificial.

También podría gustarte