Enciclopedia Herder

Conceptos destacados

Todos los conceptos

• Argumento inválido
• Argumento válido
• Asignación
• Comprensión
• Conectores, conectivas o juntores
• Consecuencia lógica
• Consistencia
• Constante
• Cuantificador
• Dominio

• Enunciado, letras de
• Fórmula consistente
• Fórmula universalmente válida
• Fórmula
• Hermenéutica
• Imitación de Cristo
• Independendencia lógica
• Infierno
• Lenguaje formal
• Lenguaje formalizado

• Lenguaje, clases de
• Ley lógica
• Lógica
• Modelo
• Mundos posibles
• Objetivo
• Propiedad
• Prueba
• Referente
• Relación

• Significado
• Sistema axiomático
• Sistema formal
• Símbolo
• Validez
• Verdad, valores de
• Árboles lógicos, cálculo de

37 entradas — página 1 /1

| Ir a página