Describir: Formal logic: