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