Logic/Propositional logic

(Difference between revisions)

Latest revision as of 03:30, 23 May 2014

Logic > Propositional logic

@@ Line 4: / Line 4: @@
 * [[wikipedia:Category:Mathematical logic|Category:Mathematical logic（Wikipedia）]]
+* [[wikipedia:Propositional_calculus|Propositional calculus(logic)]]
-=== Propositional calculus ===
-*[[wikipedia:Propositional_calculus|Propositional calculus(logic)]] from Wikipedia, the free encyclopedia
-''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 to represent propositions. A system of inference rules and axioms allows certain formulas to be derived. These derived formulas are called theorems and may be interpreted to be true propositions. Such a constructed sequence of formulas is known as a derivation or proof and the last formula of the sequence is the theorem. The derivation may be interpreted as proof of the proposition represented by the theorem.''
 == CAI Exercise ==