Describir: Symbolic logic.