AIDS to the Study of Logic