Describir: Formale Logik.