Logic/Propositional logic

From Internet Web School

(Difference between revisions)
Jump to: navigation, search
Line 5: Line 5:
== Contents ==
== Contents ==
-
 
+
=== Propositional calculus ===
-
== Propositional calculus ==
+
*[[wikipedia:Propositional_calculus|Propositional calculus(logic)]]
*[[wikipedia:Propositional_calculus|Propositional calculus(logic)]]
From Wikipedia, the free encyclopedia
From Wikipedia, the free encyclopedia

Revision as of 03:27, 23 May 2014

Logic > Propositional logic

Contents

Propositional calculus

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

Personal tools
In other languages