Skip to content
Free public beta until December 4, 2026: every course is open, no card needed. After that, the first chapter of each course stays free and full access is a one-time $39 ($19 for up to 100 founding members chosen for helpful feedback). Your progress is kept. How the beta works

implication

Symbol \implies — a one-way "if the left side is true, the right side must be true."

P \implies Q asserts that whenever statement P is true, statement Q is also true. It says nothing about the reverse direction (Q \implies P, the converse, is a separate claim).

Examples

  • a < b \text{ and } c < 0 \implies ac > bc.

Read the full section →
Graph settings

Calculator