Beginner
6h
Overview
WHAT YOU'LL LEARN
Show more
Content
1.
Introduction
1 Lessons
2.
Propositional Logic
3 Lessons
3.
Basic Operations
11 Lessons
4.
Propositional Toolkit
4 Lessons
5.
Logical Reasoning
9 Lessons
6.
Quantifiers and First Order Logic
5 Lessons
7.
Quantified Logical Reasoning
4 Lessons
8.
Proving Theorems
5 Lessons
9.
Conclusion
1 Lessons
Looks a bit advance? Start here.
Trusted by 2.6 million developers working at companies
Anthony Walker
@_webarchitect_
Evan Dunbar
ML Engineer
Carlos Matias La Borde
Software Developer
Souvik Kundu
Front-end Developer
Vinay Krishnaiah
Software Developer
Eric Downs
Musician/Entrepeneur
See how Educative uses AI to make your learning more immersive than ever before.
Instant Code Feedback
AI-Powered Mock Interviews
Adaptive Learning
Explain with AI
AI Code Mentor
Free Resources