Describir: Formal Logic :