Loading
Validity is not truth.
the shape of this subject
Formal logic rewards students who can separate structure from content. Brainback trains this reflex until it sticks.
Because logic rewards the students who do the reps — and punishes the ones who outsource them.
Add Logic as a Learn subject and every problem in these areas routes to the Socratic tutor — attempt-first, hint-laddered, output-guarded.
Attempt → correction → guiding question. No answer. Ever. Verbatim from a beta session.
Modus tollens: (P→Q, ¬Q ⊢ ¬P)…
Is this valid? Would it stay valid if all Ps and Qs were replaced with new symbols?
no answer · one guiding question · your next move
the anti-pattern
Answer machines make logic look like a solved problem. It isn't. The exam room reveals whose reasoning was built and whose was rented.
the recall card
Every wrong attempt and low-scored explain-back becomes a card. SM-2 schedules them — the tricky ones come back tomorrow, the solid ones drift out to next week, then next month.
Recall the core concept in your own words. Then apply it to a fresh example under 2 minutes.
The subject where the shortcut has always been most expensive.
The subject where wrong feels right — until Brainback slows you down.
Proofs and combinatorics for people who like clean edges.
Draw the free-body diagram. Actually draw it.
Balance the equation. In the right order.
Systems, not slogans.
→logic — ready when you are
Attempt-first. Never the answer. Add it as a Learn subject in 30 seconds.