Logic

From Internet Web School

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.