Logic/Propositional logic

From Internet Web School

Revision as of 03:25, 23 May 2014 (view source) Admin (Talk | contribs) (Created page with 'Logic > Propositional logic * Category:Logic（Wikipedia） == Contents == *[[wikipedia:Propositional_calculus|Propositional calculus(logic)…') ← Older edit		Latest revision as of 03:30, 23 May 2014 (view source) Admin (Talk | contribs)
(8 intermediate revisions not shown)
Line 1:		Line 1:
	[[Logic]] > Propositional logic		[[Logic]] > Propositional logic
-
-	* [[wikipedia:Category:Logic|Category: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 [[well-formed formula|formulas]] of a [[formal language]] may be [[interpretation (logic)|interpreted]] to represent [[propositions]]. A [[deductive system|system]] of [[rule of inference|inference rules]] and [[axiom]]s allows certain formulas to be derived. These derived formulas are called [[theorem]]s and may be interpreted to be true propositions. Such a constructed sequence of formulas is known as a ''[[formal proof|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

• Category:Mathematical logic（Wikipedia）
• Propositional calculus(logic)

CAI Exercise

• Go to CAI Exercise page