First notions of logic (preparatory to the study of geometry)