An interactive logic learning app for studying propositional and predicate logic — bilingual (English / Japanese), available as a PWA and Android app.
Logica walks you through 10 skill levels of formal logic, from basic truth values up to advanced argument validity proofs. Each level has:
-
Quiz — 4-choice questions with instant feedback and detailed reasoning explanations
-
Visual Lab — interactive diagrams and trainers tailored to the level's concept
-
Mistake review — revisit questions you got wrong
-
Progress persistence — level saved automatically in the browser
| # | English | 日本語 |
|---|---|---|
| 1 | Truth Values | 真理値 |
| 2 | Connectives (∧ ∨ ¬) | 論理結合子 |
| 3 | Conditionals (→ ↔) | 条件文 |
| 4 | Conditional Forms (contrapositive, converse, inverse) | 条件文の形式 |
| 5 | Inference Rules (Modus Ponens / Tollens) | 推論規則 |
| 6 | Fallacies | 誤謬 |
| 7 | Universal Quantifier (∀) | 全称量化子 |
| 8 | Existential Quantifier (∃) | 存在量化子 |
| 9 | Negating Quantifiers (De Morgan) | 量化子の否定 |
| 10 | Advanced Proofs (8-row truth tables) | 発展問題 |
- React + TypeScript — UI
- Vite — build tool
- React Router DOM — routing
- Capacitor — Android packaging
- PWA — installable via browser (service worker + web manifest)
npm install
npm run dev # development server → http://localhost:5173
npm run build # production buildA debug APK can be built via Capacitor:
npm run build
npx cap sync android
npx cap open android # open in Android StudioSwitch between English and Japanese in the app's Settings screen. All quiz content, level names, and UI copy are fully translated.