From the viewpoint of logic there are two types of knowledge about a specific domain. One is the given knowledge, the axiom system, and the other consists of the logical consequences that can be derived from the axioms. The logical consequences are propositions deduced from the axioms by using inference rules, which are independent of the domain. Therefore, the question whether a given proposition is a logical consequence only depends on the axioms.
KeywordsPoint Equation Axiom System Proposition Variable Axiomatic Approach Proof Tree
Unable to display preview. Download preview PDF.