Tópico: LOGICA SIMBOLICA