Aggiunti Matematica Discreta o MMI, Logica I e Logica II