Formal Inference Systems
In Chapter 2, we introduced the concept of logical consequence. We call a formula A a logical consequence of a formula set Γ if, in every model that satisfies Γ, A is also satisfied. The definition of logical consequence refers to the logical semantics of formulas. Essentially, it means that, however we interpret the terms in the formulas, the truth of A always follows the truth of Γ. This is consistent with our normal understanding of the concept of logical consequence.
KeywordsInference System Logical Consequence Inference Rule Formal Proof Inference Tree
Unable to display preview. Download preview PDF.