Logica Proposicional

Lógica proposicional: Conceptos básicos

Para entender lo que es la lógica proposicional se requiere de un análisis, puesto que un tema tan desconocido para las personas requiere de conceptosbásicos. Por lo que en el siguiente ensayo se tratara de explicar cómo funciona este sistema formal.
En primer lugar, la lógica proposicional es un sistema formal cuyos elementos más simples representanproposiciones, y cuyas constantes lógicas, llamadas conectivas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad. Es decir es la parte de lalógica que estudia las proposiciones y símbolos utilizados en nuevas proposiciones que pueden ser verdaderas o falsas.
A partir de ello podemos definir el significado de proposición, que es un enunciadocuya propiedad fundamental es la de ser verdadero o falso; pero no ambas simultáneamente y sin ambigüedad. Las proposiciones lógicas se expresan con letras minúsculas, tales como:p,q,r,s…,etc.(llamadas también ¨variables proposicionales¨). Las proposiciones están divididas en simples o compuestas; las simples tienen una variable, mientras que las compuestas tienen dos y están enlazadas porconectivos lógicos.
Como se habló hace un momento de conectivos lógicos, resulta difícil que exista la lógica proposicional sin estos conectivos. Pues son símbolos del lenguaje formal que reemplazan a losconectivos gramaticales ya los adverbios de negación no. En la lógica proposicional, las conectivas lógicas se tratan como funciones de verdad. Es decir, como funciones que toman conjuntos de valores deverdad y devuelven valores de verdad. Por ejemplo, la conectiva lógica «no» es una función que si toma el valor de verdad V, devuelve F, y si toma el valor de verdad F, devuelve V. Por lo tanto, sise aplica la función «no» a una letra que represente una proposición falsa, el resultado será algo verdadero. Si es falso que «está lloviendo», entonces será verdadero que «no está lloviendo»....