🔎 GLOSARIO

A

Algoritmo
Analítico
Antecedente
A priori / A posteriori
Argumento
Atómico
Atomismo lógico
Axioma

B

Bicondicional (syss)
Bivalencia

C

Cálculo lógico
Cálculo de predicados
Combinatoria
Completo
Condicional
Condiciones necesarias / suficientes
Conjetura de Goldbach
Conjunción
Conjunto
Consecuencia
Consecuente
Consistencia
Constante
Contradicción
Contradictorio
Contrario
Correcto
Correspondencia de uno a uno
Cuantificadores

D

Decidible
Deducción
Deducción natural
Definición
Descripción definitiva
Diádico
Disposicional
Disyunción
Divergencia
Doble negación
Dominio

E

Entimema
Equivalencia
Esquema (T)
Extensión
Extensión / Intensión
Extensional / Intensional

F

Formalismo
Fórmula bien formada, (fbf)
Función

I

Implicación
Independencia
Índice
Inducción
Inferencia
Inteligencia artificial (IA)
Intensión / Extensión
Intensional / Extensional
Interpretación (de un sistema formal)
Intuicionismo 

L

Lenguaje formal (L)
Lenguaje objeto
Lógica combinatoria
Lógica deóntica
Lógica dialógica
Lógica epistémica
Lógica intuicionista
Lógica libre
Lógica polivalente o plurivalente
Lógica proposicional
Logicismo

M

Matriz característica
Mecánica cuántica
Metafísica
Metalenguaje
Metalógica
Modus ponens (MPP)
Modus tollens (MPT)
Monádico
Mundo posible

P

Primitivo
Poliádico
Proposición

R

Razonamiento deductivo
Reglas de inferencia o de transformación
Resolución

S

Satisfacible
Silogismo disyuntivo
Sintaxis
Sintético
Símbolo

T

Tautología
Teorema
Teorema de incompletud de Gödel

V

Válido, validez lógica
Variable
Verdad lógica