Logic/Propositional logic - Revision history

Admin at 03:30, 23 May 2014

2014-05-23T03:30:41Z

← Older revision		Revision as of 03:30, 23 May 2014
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 ==

Admin at 03:29, 23 May 2014

2014-05-23T03:29:09Z

← Older revision		Revision as of 03:29, 23 May 2014
Line 13:		Line 13:
	== CAI Exercise ==		== CAI Exercise ==

-	*~~<span class="pops">~~ [[cai_en:EDULOG00010001\|Go to CAI Exercise page]] ~~</span>~~	+	*[[cai_en:EDULOG00010001\|Go to CAI Exercise page]]

Admin at 03:28, 23 May 2014

2014-05-23T03:28:52Z

← Older revision		Revision as of 03:28, 23 May 2014
Line 1:		Line 1:
	[[Logic]] > Propositional logic		[[Logic]] > Propositional logic
-
-	* [[wikipedia:Category:Mathematical logic\|Category:Mathematical logic（Wikipedia）]]

	== Contents ==		== Contents ==
		+
		+	* [[wikipedia:Category:Mathematical logic\|Category:Mathematical logic（Wikipedia）]]

	=== Propositional calculus ===		=== Propositional calculus ===
		+
	*[[wikipedia:Propositional_calculus\|Propositional calculus(logic)]] from Wikipedia, the free encyclopedia		*[[wikipedia:Propositional_calculus\|Propositional calculus(logic)]] from Wikipedia, the free encyclopedia

Admin at 03:28, 23 May 2014

2014-05-23T03:28:25Z

← Older revision		Revision as of 03:28, 23 May 2014
Line 8:		Line 8:
	*[[wikipedia:Propositional_calculus\|Propositional calculus(logic)]] from Wikipedia, the free encyclopedia		*[[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.''

	== CAI Exercise ==		== CAI Exercise ==

Admin at 03:28, 23 May 2014

2014-05-23T03:28:08Z

← Older revision		Revision as of 03:28, 23 May 2014
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
-	~~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.

Admin at 03:27, 23 May 2014

2014-05-23T03:27:53Z

← Older revision		Revision as of 03:27, 23 May 2014
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

Admin at 03:27, 23 May 2014

2014-05-23T03:27:33Z

← Older revision		Revision as of 03:27, 23 May 2014
Line 5:		Line 5:
	== Contents ==		== Contents ==

-	*[[wikipedia:Propositional_calculus\|Propositional calculus(logic)]]

	== Propositional calculus ==		== Propositional calculus ==
		+	*[[wikipedia:Propositional_calculus\|Propositional calculus(logic)]]
	From Wikipedia, the free encyclopedia		From Wikipedia, the free encyclopedia

Admin at 03:26, 23 May 2014

2014-05-23T03:26:57Z

← Older revision		Revision as of 03:26, 23 May 2014
Line 1:		Line 1:
	[[Logic]] > Propositional logic		[[Logic]] > Propositional logic

-	* [[wikipedia:Category:~~Logic~~\|Category:~~Logic（Wikipedia）~~]]	+	* [[wikipedia:Category:Mathematical logic\|Category:Mathematical logic（Wikipedia）]]

	== Contents ==		== Contents ==

Admin: /* Propositional calculus */

2014-05-23T03:26:04Z

Propositional calculus

← Older revision		Revision as of 03:26, 23 May 2014
Line 10:		Line 10:
	From Wikipedia, the free encyclopedia		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.	+	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 ==

Admin: Created page with 'Logic > Propositional logic * Category:Logic（Wikipedia） == Contents == *[[wikipedia:Propositional_calculus|Propositional calculus(logic)…'

2014-05-23T03:25:39Z

Created page with 'Logic > Propositional logic * Category:Logic（Wikipedia） == Contents == *[[wikipedia:Propositional_calculus|Propositional calculus(logic)…'

New page

[[Logic]] > Propositional logic

* [[wikipedia:Category:Logic|Category:Logic（Wikipedia）]]

== Contents ==

*[[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 ==

*<span class="pops"> [[cai_en:EDULOG00010001|Go to CAI Exercise page]] </span>

[[en:Logic/Propositional logic]]
[[ja:論理学/命題論理学]]