Lógica Proposicional:

Todo desarrollo matemático exige razonar de manera válida acerca de las cosas trascendentes y particularmente abstractas. Hay que comenzar con eliminar ambigüedades del lenguaje ordinario, introduciendo símbolos y conectivos cuyo uso adecuado descarte las contingencias, aporte claridad y economía en el pensamiento.

Lo que se presentará a continuación sera la introducción del concepto de proposición, las operaciones proposicionales y sus leyes, reglas de inferencia, y la cuantificación de funciones proposicionales, cuyo uso estará presente aquí.