Title: Propedeutica Logica Semantica