Module: Sentential logic

• SL00. Introduction
• SL01. Introduction
• SL02. Well-formed formula
• SL03. Connectives
• SL04. Complex truth-tables
• SL05. Properties & relations
• SL06. Formalization
• SL07. Validity
• SL08. The indirect method
• SL09. Indirect method: exercises
• SL10. Material conditional
• SL11. Derivations
• SL12. Derivation rules 1
• SL13. Derivation rules 2
• SL14. List of derivation rules
• SL15. Derivation strategies
• SL16. Soundness
• SL17. Completeness
• SL18. Limitations

---

Quote of the page

Thinking is the hardest work there is, which is the probably reason why so few engage in it.

- Henry Ford

---

Help us promote
critical thinking!

---

Popular pages

1. What is critical thinking?
2. What is logic?
3. Hardest logic puzzle ever
4. Free miniguide
5. What is an argument?
6. Knights and knaves puzzles
7. Logic puzzles
8. What is a good argument?
9. Improving critical thinking
10. Analogical arguments

---