Index :   A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z

A
   algebra de Boole
   adecuacion
   acabado, tableau
   alfabeto
   absorcion
   algoritmo
   antecedente
   arbol
   argumento
   ariedad
   asignacion
   asociativa
   atomica
   axioma
   axiomatizable, propiedad

B
   basico
   bicondicional
   biyectiva
   buen orden

C
   calculo
   cero y uno
   cerrada, rama
   cerrado
   cierre
   clase de equivalencia
   clausula
   clausula vacia
   coincidencia
   compacto
   complementario
   completo
   conclusion
   concluyente
   condicional
   conector (o conectiva)
   conjuncion
   conjuntiva
   conjunto
   conmutativa
   consecuencia
   consecuente
   consistente
   consistente, diagrama
   constante individual
   contingente
   contradiccion
   correcto
   corte
   cruz
   curva cerrada
   cuantificador

D
   de Morgan
   decidible
   definible
   designadores
   diagrama de flechas
   diagrama de Hasse
   diagrama de Venn
   diagrama "hoja de trebol"
   diferencia
   distributiva
   disyuncion
   doble negacion
   dominio
   dominio de una relacion

E
   epiyectiva
   equivalencia
   esquema de resolucion
   estructura
   exhaustiva
   expansion
   expansion clausular
   expresion

F
   falso
   finito
   forma logica
   forma normal
   formalizacion
   formula
   funcion
   functor

G
   generalizacion

H
   hipotesis

I
   independencia
   identidad
   idempotencia
   igualdad
   induccion
   inferencia
   infinito
   inicio
   interpretacion
   interseccion
   insatisfacible
   inyectiva
   inversa de una relacion
   isomorfismo

J

K

L
   lema
   lenguaje formal
   lenguaje logico
   lenguaje objeto
   letra sentencial
   libre, variable
   ligada, variable
   literal

M
   modelo
   modus ponens
   metalenguaje
   metateorema
   monotonia

N
   notacion uniforme
   negacion

O
   operacion
   orden

P
   par, ordenado
   parametro
   partes
   particularizacion
   pertenencia
   premisa
   prueba con deduccion natural

Q

R
   rama
   razonamiento
   recorrido
   rectangulo
   recursivo
   reflexiva
   relacion
   relator
   refutativo, calculo
   relacion binaria
   resolucion
   restriccion

S
   satisfacible
   semantica
   semiotica
   sentencia
   simetrica
   simplificacion clausular
   sintaxis
   sombreado
   subconjunto
   subformula
   subpruebas o subdeducciones
   suficiencia

T
   tabla de verdad
   tableau
   tautologia
   teorema
   teoria
   termino
   transitiva

U
   unificacion
   union
   universo
   uso y mención

V
   vacio
   valida
   valor de verdad
   variable
   verdad en una estructura
   verdadero

W

X

Y

Z