Logica proposicional

En la lógica proposicional, las constantes lógicas son tratadas como funciones de verdad. Es decir, como funciones que toman conjuntos de valores de verdad y devuelven valores de verdad. Por ejemplo, la constante lógica "no" es una función que si toma el valor de verdad 1, devuelve 0, y si toma el valor de verdad 0, devuelve 1. Por lo tanto, si se 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".
El significado de las constantes lógicas no es nada más que su comportamiento como funciones de verdad. Cada constante lógica se distingue de las otras por los valores de verdad que devuelve frente a las distintas combinaciones de valores de verdad que puede recibir. Esto quiere decir que el significado de cada constante lógica puede ilustrarse mediante una tabla que despliegue los valores de verdad que la función devuelve frente a todas las combinaciones posibles de valores de verdad que puede recibir.

un EJEMPLO:

-Mañana es miércoles o mañana es jueves.
-Mañana no es jueves.
-Por lo tanto, mañana es miércoles.