1) La lógica matemática se refiere al desarrollo mental de enunciados que pueden tener valor de verdad de verdadero o falso.
2) Una proposición es una unidad semántica que solo puede ser verdadera o falsa.
3) Las tablas de verdad muestran los posibles valores de verdad que pueden tomar las proposiciones al realizar operaciones lógicas.