Learn Logic in short lessons.
The systematic study of valid reasoning and argument.
What you can learn in Logic
Courses range from Introduction to Logic to Formal Proofs in Propositional Logic, with beginner, intermediate, and advanced topics. Explore the full learning experience through guided reads and quick questions in the app.
- Beginner
Introduction to Logic
What logic is and why it matters.
11 lessons - Beginner
Statements and Truth Values
The building blocks of logical reasoning.
12 lessons - Intermediate
Tautologies and Contradictions
Statements that are always or never true.
15 lessons - Intermediate
Logical Equivalences
Different forms of the same proposition.
10 lessons - Advanced
Formal Proofs in Propositional Logic
Deriving conclusions step by step.
13 lessons - Advanced
Natural Deduction
A flexible system of proof.
14 lessons
About learning Logic with Sharp
Do I need experience in Logic?
Sharp includes beginner courses as well as intermediate and advanced topics. Choose an entry point in the app that matches what you know.
Where can I continue learning?
Sharp is available on iOS and Android. You can explore all 24 subjects here and compare subscription options before choosing.
Get Sharp. Get sharper.
Download the app and start your first lesson today — available on iOS and Android.