Lógica Proposicional: Operadores, Tablas de Verdad y Conceptos Esenciales
Enviado por Chuletator online y clasificado en Matemáticas
Escrito el en
español con un tamaño de 4,62 KB
Introducción a la Lógica Proposicional
La lógica es el canon de la inferencia o argumentación válida. Es importante destacar que la lógica no verifica la verdad material de las proposiciones, sino la validez formal de los argumentos.
Conceptos Fundamentales
Canon
Conjunto ordenado de reglas o principios.
Inferencia
Proceso de derivar conclusiones a partir de premisas.
Validez
Un argumento es formalmente correcto, independientemente de la verdad o falsedad de sus premisas o conclusión.
Fórmula Bien Formada (FBF)
Aquella que utiliza correctamente las reglas de relación entre variables y conectivas, y que no es ambigua.
Tabla de Verdad
Procedimiento finito y automático utilizado para determinar el valor de verdad de una fórmula bien formada en... Continuar leyendo "Lógica Proposicional: Operadores, Tablas de Verdad y Conceptos Esenciales" »
catalán con un tamaño de 3,94 KB
vasco con un tamaño de 4,36 KB