least a part of logical truth and inference. formal logic encompasses a wide variety of logical systems. various systems of logic we will discuss later can be captured in this framework, such as term logic, predicate logic and modal logic , and formal systems are indispensable in all branches of mathematical...