| Nota de contenido: |
Proposiciones: Valores de verdad de una proposición. Conectivos lógicos. Proposiciones simples y compuestas. Conjunción, disjunción, condicional, bicondicional y negación. Tautología y contradicción. Fórmulas bien formadas: Conjuntos inductivos. Principio de inducción en fórmulas. Segmento inicial y segmento inicial propio. Teorema de la descomposición única. Árboles, definiciones recursivas. Supresión de paréntesis. Notación prefija, entrefija y posfija. Decidibilidad. Convertir una notación entrefija a prefija. Equivalencias lógicas y su utilización. Conjuntos completos. Formas normales. Dispositivos de dos estados. Cálculo proposicional: Teorema de la deducción. Validez. Completitud. Consistencia. Cálculo de los predicados: Predicados, relaciones y cuantificadores. Representación simbólica del lenguaje cotidiano, gramática y lógica, términos, predicados. Variables ligadas y libres. Teoría general de la inferencia. Interpretación y validez. |
Inicio
511 B69 
