Enciclopedia Herder

Conceptos destacados

Todos los conceptos

• Bivalencia, principio de
• Consistente
• Cálculo lógico
• Definición
• Enunciado, letras de
• Equivalencia (lógica)
• Forma lógica
• Forma válida
• Fórmula abierta
• Fórmula atómica

• Fórmula cerrada
• Fórmula consistente
• Fórmula molecular
• Fórmula universalmente válida
• Fórmula válida
• Interpretación
• Lenguaje formal
• Lenguaje formalizado
• Lógica
• Signo

• Sintaxis
• Validez
• Verdad, valores de
• Árboles lógicos, cálculo de

24 entradas — página 1 /1

| Ir a página