Logic

In the field of formal logic, a logic is a mathematical structure consisting of a formal language, semantics and a deductive system

#todo

Key Examples §

• Propositional Logic
• Predicate Logic