Logic for Everyone 論理

A non-profit dedicated to making formal logic and critical thinking accessible at every level of education. Free courses, teacher resources, and a global community of learners.

Start Learning For Educators

Learning Paths

1

Beginner

  • Introduction to Propositions
  • Truth Tables ∧ ∨
  • Basic Logical Connectives
  • Simple Arguments
Begin
2

Intermediate

  • Predicate Logic ∀ ∃
  • Natural Deduction
  • Proof Strategies
  • Logical Fallacies
Begin
3

Advanced

  • Modal Logic
  • Completeness Theorems
  • Non-Classical Logics
  • Formal Verification
Begin

Resources Hub

Featured: Introduction to Truth Tables

A comprehensive worksheet covering conjunction, disjunction, and negation with 20 practice exercises and answer key. Perfect for first-time logic students.

Download PDF
48,000+ Students Reached
72 Countries
24 Free Courses