Logic/Propositional logic

From Internet Web School

(Difference between revisions)
Jump to: navigation, search
 
(One intermediate revision not shown)
Line 4: Line 4:
* [[wikipedia:Category:Mathematical logic|Category:Mathematical logic(Wikipedia)]]   
* [[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 ==
== 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

Personal tools
In other languages