Material Detail
blogic: a web logic textbook
Interactive textbook for introductory logic courses. Topics include: (i) Boolean searching (ii) propositional logic with truth-tables (iii) modal logic and counterfactuals (iv) quantification (v) natural ddeduction for both propositional and predicate logic. Textbook includes interactive exercises. Graded quizzes available on request.
Quality
-
Editor Reviews
-
User Rating
- Comments (1) Comments
- Learning Exercises
- Bookmark Collections (5) Bookmark Collections
- Course ePortfolios
- Accessibility Info
Soraya Gollop (Faculty)