Elementos de L gica

Elementos de Lógica
La lógica proposicional o lógica de orden cero es un sistema formal cuyos elementos más simples representan proposiciones, y cuyas constantes lógicas, llamadas conectivas,representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.1
La lógica proposicional trata con sistemas lógicos que carecen de cuantificadores, o variablesinterpretables como entidades. En lógica proposicional si bien no hay signos para variables de tipo entidad, sí existen signos para variables proposicionales (es decir, que pueden ser interpretadas comoproposiciones con un valor de verdad de definido), de ahí el nombre proposicional. La lógica proposicional incluye además de variables interpretables como proposiciones simples signos para conectivaslógicas, por lo que dentro de este tipo de lógica puede analizarse la inferencia lógica de proposiciones a partir de proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones mássimples.
La lógica se interesa de un conjunto especial de expresiones que se llaman Proposiciones, que son aquellas a las cuales se les puede asignar un atributo (valor o función) de verdad (Valor deVerdad o Falsedad) (Atributo binario). La lógica estudia la combinación de estas proposiciones a los efectos de relacionar o inferir unas de otras.
Lógica: Es la ciencia que trata de discernir entrelos razonamientos, cuales son correctos y cuáles no. Además, nos permitirá comprender la relación entre el lenguaje hablado y el lenguaje de la matemática. Lógica Simbólica: Estudia el uso de símbolosque le dan a la lógica un lenguaje similar al matemático. Estos símbolos nos permitirán usar y exponer con mayor claridad las estructuras lógicas de proposiciones y razonamientos. Proposición:Enunciado de un juicio de valor bien definido, el cual puede ser verdadero o falso pero no ambos a la vez. Es todo lo que una persona dice o escribe, que tenga sentido y cuyo valor sea verdadero o...