Predicate Logic
11 chapters
Premium subscription icon Track your progress
Keep track of what you're learning or have learned.
Explore pricing
1. Introduction to predicate logic
8 mins
2. Predicate functions
11 mins
3. More predicates
9 mins
4. Universal quantification
12 mins
5. Existential quantification
6. Negating quantifiers
10 mins
7. Precedence of quantifiers
4 mins
8. Nested quantifiers
9. Rules of inference
10. Logical arguments
Wrapping up
Workshop
16 tasks
Congratulations! You've completed the Predicate Logic mini course. Amazing! 🥁 🥁 🥁 🥁
Next exercise
Please enable JavaScript in order to use all the features of the app!