Logic/Propositional logic

From Internet Web School

(Difference between revisions)
Jump to: navigation, search
 
(6 intermediate revisions not shown)
Line 1: Line 1:
[[Logic]] > Propositional logic
[[Logic]] > Propositional logic
-
 
-
* [[wikipedia:Category:Mathematical logic|Category:Mathematical logic（Wikipedia）]] 
 
== Contents ==
== Contents ==
-
*[[wikipedia:Propositional_calculus|Propositional calculus(logic)]]
+
* [[wikipedia:Category:Mathematical logic|Category:Mathematical logic（Wikipedia）]] 
-
 
+
* [[wikipedia:Propositional_calculus|Propositional calculus(logic)]]
-
== 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 ==
== CAI Exercise ==
-
*<span class="pops"> [[cai_en:EDULOG00010001|Go to CAI Exercise page]] </span>
+
*[[cai_en:EDULOG00010001|Go to CAI Exercise page]]

Latest revision as of 03:30, 23 May 2014

Logic > Propositional logic

Contents

CAI Exercise

Retrieved from "http://en.iwschool.org/wiki/Logic/Propositional_logic"
Personal tools
In other languages