出典:Wiktionary
出典:『Wiktionary』 (2017/04/14 20:39 UTC 版)
出典:Wikipedia
出典:『Wikipedia』 (2011/06/15 14:44 UTC 版)
In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules and axioms allows certain formulas to be derived, called theorems; which may be interpreted as true propositions. The series of formulas which is constructed within such a system is called a derivation and the last formula of the series is a theorem, whose derivation may be interpreted as a proof of the truth of the proposition represented by the theorem.