Logic

From Internet Web School

Revision as of 08:29, 24 October 2013 (view source) Admin (Talk | contribs) (Created page with '== Overview == This page is to explain the related topic in ''Logic''.<br /> Description of each item has a lots of hyper-link to the another site consists of the detailed d…') ← Older edit		Latest revision as of 03:13, 23 May 2014 (view source) Admin (Talk | contribs) (→Chapter list)
(One intermediate revision not shown)
Line 7:		Line 7:
	== Chapter list ==		== Chapter list ==
-	# [[Logic/Rule of Logic|Rule of Logic]]	+	# [[Logic/Propositional logic|Propositional logic]]
-	# [[Logic/Classification of Logic|Classification of Logic]]	+	# [[Logic/Truth table and Logical operators|Truth table and Logical operators("not", "and", "or")]]
-	# [[Logic/Positive Logic|Positive Logic]]	+	# [[Logic/Similarity of electric circuits and logical operators|Similarity of electric circuits and logical operators]]
-	# [[Logic/Basic Logic|Basic Logic]]	+	# [[Logic/Exclusive disjunction|Exclusive disjunction (or "exclusive or")]]
-	# [[Logic/Public Logic|Public Logic]]	+	# [[Logic/De Morgan's laws|De Morgan's laws]]
-	# [[Logic/Civil Logic|Civil Logic]]	+	# [[Logic/Implication and equivalence|Implication and equivalence]]
-	# [[Logic/Criminal Logic|Criminal Logic]]	+	# [[Logic/Inference by propositional logic|Inference by propositional logic]]
-	# [[Logic/International Logic|International Logic]]	+	# [[Logic/Necessity and sufficiency|Necessity and sufficiency]]
-	# [[Logic/Comparative Logic|Comparative Logic]]	+	# [[Logic/Conversion, inversion and contraposition|Conversion, inversion and contraposition]]
-	# [[Logic/Analytic jurisprudence|Analytic jurisprudence]]	+	# [[Logic/Proof by contradiction|Proof by contradiction(or Reductio ad absurdum)]]
		+	# [[Logic/Predicate logic|(First-order) Predicate logic]]
		+	# [[Logic/Universal quantifier and Existential quantifier|Universal quantifier and Existential quantifier]]
		+	# [[Logic/Inference by predicate logic|Inference by predicate logic]]
		+	# [[Logic/Application of logic (1)|Application of logic (1)]]
		+	# [[Logic/Application of logic (2)|Application of logic (2)]]
	== Exercise  ==		== Exercise  ==

---

Latest revision as of 03:13, 23 May 2014

Contents 1 Overview 2 Chapter list 3 Exercise 4 Notes

Overview

This page is to explain the related topic in Logic.
Description of each item has a lots of hyper-link to the another site consists of the detailed descriptions if necessary.
Anyone can edit, modify and add link in the contents if you have more information.

Chapter list

1. Propositional logic
2. Truth table and Logical operators("not", "and", "or")
3. Similarity of electric circuits and logical operators
4. Exclusive disjunction (or "exclusive or")
5. De Morgan's laws
6. Implication and equivalence
7. Inference by propositional logic
8. Necessity and sufficiency
9. Conversion, inversion and contraposition
10. Proof by contradiction(or Reductio ad absurdum)
11. (First-order) Predicate logic
12. Universal quantifier and Existential quantifier
13. Inference by predicate logic
14. Application of logic (1)
15. Application of logic (2)

Exercise

• Logic/Exercise ★★★You may complete all instructed CAI problems (chapter table of the contents may be greater than the number of exercise)★★★

Notes

The subjects of the content may be changed without notice.