symbols

Fundamentals

Argument Basics
Argument Structure
Assumptions
Argument Validity
Argument Soundness
Argument Form
Everything is Bool

Connectives

Implication
Conjunction
Disjunction
Biconditional
Negation

Rules of Inference

Modus Ponens
Modus Tollens
Disjunctive Syllogism
Hypothetical Syllogism
Constructive Dilemma
Simplification
Conjunction

Unlock Logic

Learn natural deduction and improve your reasoning skills.

→

∨

∧

↔

Studycard Image

Studycards

Studycards help you learn and review.

Activities

Activities help you practice and improve your skills.

Activities Image