英語フレーズ帳 vs 論理学ドリル

Q: どんな英語フレーズ帳アプリ？ 1. 合計1000個以上の音声付き例文 2. 自然で実用的なフレーズ、イディオム、ネットスラング多数収録 3. クッション言葉や枕詞を多数収録し、マイルドな表現方法を学べる 4. 雛形形式で覚え、再利用できるフレーズ構成 5. 一つ一つのフレーズに解説付き 6. 間違ったフレーズだけを表示し、効率的に学習できる 7. 日本語訳を隠す、または英語訳を隠す設定でお好みに合わせて学習 8. シンプルな使い心地 9. 無駄な機能を排除し、難しい操作を覚えることなく、まるで本のようにすぐ使える 10. あとはフレーズに集中するだけ --- You're good to go!

Logic Drill takes you from your first logical symbols through natural deduction and predicate logic, one step at a time. Available in Japanese and English. The interface, lessons, drills, and explanations follow your device language. The app has 9 chapters of text and 10 drill units. Each unit works through a set of stages — read, tell apart, choose, connect, build — skipping any stage that doesn't fit the content (translation and fallacy units, for example, don't need all five). ■ What you'll learn • Logical connectives and truth tables • Tautologies, contradictions, and the validity of an argument • Natural deduction (∧, →, ∨, negation, reductio ad absurdum) • Predicate logic (∀, ∃) • Translating everyday sentences into logical formulas • Formal and informal fallacies • Sequent calculus (Γ ⊢ Δ) ■ Designed to be easy to work through • Learn what the symbols mean starting from everyday words like "and," "or," and "not" • A built-in truth table calculator checks any formula you enter, instantly • Translation answers are checked for logical equivalence, not just matching text • For invalid arguments, you can see a counterexample where the premises hold but the conclusion doesn't • Progress is saved on your device — no account needed The app shows a banner ad at the bottom of the screen. A one-time in-app purchase removes ads. There's no reward-ad tier, no subscription, and no AI explanation feature.