LÓGICA PROPOSICIONAL

¿Que es una proposición?

Una proposición es una frase o sentencia declarativa que es verdadera o falsa pero no ambas cosas a la vez. El cálculo proposicional se encarga del estudio de las relaciones lógicas entre proposiciones.

¿Que es un valor lógico?

 Es una expresión no proposicional, es decir no se le puede asignar un valor de verdad. 
Valor lógico o valor de verdad se refiere a que si podes decir si la proposición es verdadera o falsa, darle un valor que en este caso no se puede.

¿Que es un corrector lógico ó operador lógico?

En lógica, una conectiva lógica, o simplemente conectiva, (también llamado operador lógico o conectores lógicos) es un símbolo o palabra que se utiliza para conectar dos fórmulas bien formadas o sentencias (atómicas o moleculares), de modo que el valor de verdad de la fórmula compuesta depende del valor de verdad de las fórmulas componentes.

Los conectivos lógicos más comunes son los conectivos binarios (también llamados conectivos diádicos) que unen dos frases, que pueden ser consideradas los operandos de la función. También es común considerar a la negación como un conectivo monádico.

Las conectivas lógicas son, junto con los cuantificadores, las principales constantes lógicas de muchos sistemas lógicos, principalmente la lógica proposicional y la lógica de predicados.

En programación se utilizan para combinar valores de verdad y obtener nuevos valores que determinen el flujo de control de un algoritmo o programa.

Cuales son las tablas de verdad para:

A. una proposición:

B. dos proposiciones:

C. tres proposiciones: