Text this: Lógica matemática I, proposiciones y leyes de inferencia.