Title: Logica simbolica basica