Lógica de Clases y Simbólica

Front

¿Qué significa clase en lógica?

Back

Conjunto de objetos que se distinguen por un rasgo.

Front

¿Qué es la lógica simbólica?

Back

Es un lenguaje artificial que usa símbolos para representar argumentos lógicos.

Front

¿Qué son los símbolos en lógica?

Back

Son caracteres que representan valores en operaciones.

Front

¿Qué son los símbolos de la lógica para fórmulas?

Back

Son los que dan sentido a las operaciones matemáticas.

Front

¿Qué son los símbolos de lógica para conexiones?

Back

Son usados para unir ciertos valores en operaciones lógicas.

Front

¿Qué son los auxiliares en lógica?

Back

Son símbolos comunes como los paréntesis.

Front

¿Qué es el formalismo en lógica simbólica?

Back

Entender la estructura del pensamiento y sus reglas.

Front

¿Qué es la simbolización en lógica?

Back

Uso de símbolos semejantes a las matemáticas.

Front

¿Qué es el cálculo en lógica?

Back

Combinaciones y operaciones deductivas a partir de datos.

Front

¿Qué es la axiomatización en lógica?

Back

Señalar axiomas que se aceptan sin demostración.