Logic
From Internet Web School
(Difference between revisions)
(→Chapter list) |
|||
| Line 6: | Line 6: | ||
== Chapter list == | == Chapter list == | ||
| - | |||
| - | |||
# [[Logic/Propositional logic|Propositional logic]] | # [[Logic/Propositional logic|Propositional logic]] | ||
| - | # [[Logic/Truth table and Logical operators|Truth table and Logical operators]] | + | # [[Logic/Truth table and Logical operators|Truth table and Logical operators("not", "and", "or")]] |
# [[Logic/Similarity of electric circuits and logical operators|Similarity of electric circuits and logical operators]] | # [[Logic/Similarity of electric circuits and logical operators|Similarity of electric circuits and logical operators]] | ||
| - | # [[Logic/Exclusive disjunction|Exclusive disjunction]] | + | # [[Logic/Exclusive disjunction|Exclusive disjunction (or "exclusive or")]] |
# [[Logic/De Morgan's laws|De Morgan's laws]] | # [[Logic/De Morgan's laws|De Morgan's laws]] | ||
# [[Logic/Implication and equivalence|Implication and equivalence]] | # [[Logic/Implication and equivalence|Implication and equivalence]] | ||
| Line 18: | Line 16: | ||
# [[Logic/Necessity and sufficiency|Necessity and sufficiency]] | # [[Logic/Necessity and sufficiency|Necessity and sufficiency]] | ||
# [[Logic/Conversion, inversion and contraposition|Conversion, inversion and contraposition]] | # [[Logic/Conversion, inversion and contraposition|Conversion, inversion and contraposition]] | ||
| - | # [[Logic/ | + | # [[Logic/Proof by contradiction|Proof by contradiction(or Reductio ad absurdum)]] |
| - | # [[Logic/ | + | # [[Logic/Predicate logic|(First-order) Predicate logic]] |
| - | # [[Logic/ | + | # [[Logic/Universal quantifier and Existential quantifier|Universal quantifier and Existential quantifier]] |
| - | # [[Logic/ | + | # [[Logic/Inference by predicate logic|Inference by predicate logic]] |
| - | # [[Logic/ | + | # [[Logic/Application of logic (1)|Application of logic (1)]] |
| - | # [[Logic/ | + | # [[Logic/Application of logic (2)|Application of logic (2)]] |
== Exercise == | == Exercise == | ||
Latest revision as of 03:13, 23 May 2014
Contents |
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
- Propositional logic
- Truth table and Logical operators("not", "and", "or")
- Similarity of electric circuits and logical operators
- Exclusive disjunction (or "exclusive or")
- De Morgan's laws
- Implication and equivalence
- Inference by propositional logic
- Necessity and sufficiency
- Conversion, inversion and contraposition
- Proof by contradiction(or Reductio ad absurdum)
- (First-order) Predicate logic
- Universal quantifier and Existential quantifier
- Inference by predicate logic
- Application of logic (1)
- 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.
