Logica Aritmetica
INTRODUCCION
Teniendo en mente que queremos presentar los sistemas deductivos de la lógica como una herramienta práctica para los informáticos, vamos a introducirnosen el estudio de la lógica comenzando por la más simple, la lógica de proposiciones, que corresponde a la lógica que simboliza y describe razonamientos basados en enunciados declarativos.Proposiciones
Formalmente, se define una proposición como un enunciado declarativo que puede ser verdadero o falso, pero no ambos a la vez. Las proposiciones se representan mediante variables proposicionalessimbolizadas mediantes
letras. Con la combinación de variables proposicionales y conjunciones se obtienen fórmulas sentenciales o sentencias. Estas pueden ser:
• Tautología: es la sentencia quees verdadera.
• Contradicción: es la sentencia que es falsa.
• Indeterminación: es la sentencia que ni es verdadera ni falsa.
LENGUAJE PROPOSICIONAL
Sintaxis
El primer paso en el estudiode un lenguaje es definir los símbolos básicos que lo constituyen (alfabeto) y cómo se combinan para formar sentencias. Está constituido por:
• Símbolos de veracidad: V para verdadero y F parafalso.
• Símbolos de variables: p, q, r, s, ...
• Símbolos de conectivas: NO, Y, O, O ... O, SI ... ENTONCES, ... SI Y SOLO SI ...
• Símbolos de puntuación: ( , ), para evitar ambigüedades.
Reglas deformación
Las clases de sentencias bien formadas se definen por reglas puramente sintácticas, llamadas reglas de formación, y que son:
• Una variable proposicional es una sentencia bienformada.
• Una sentencia bien formada precedida de la negación es una sentencia bien formada.
• Dos sentencias bien formadas unidas por una de las partículas conectivas binarias constituye una sentenciabien formada.
• Se pueden omitir los paréntesis que encierran una sentencia completa.
• El estilo tipográfico de los paréntesis se puede variar para hacerlos más evidentes usando corchetes y llaves....
Regístrate para leer el documento completo.