Logic/Propositional logic
From Internet Web School
(Difference between revisions)
| Line 6: | Line 6: | ||
=== Propositional calculus === | === Propositional calculus === | ||
| - | *[[wikipedia:Propositional_calculus|Propositional calculus(logic)]] | + | *[[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. | 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. | ||
Revision as of 03:28, 23 May 2014
Logic > Propositional logic
Contents
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.
