Describir: Symbolic logic