Describir: Formal logic :