Bemästra formell logik steg för steg – beviskonstruktion för propositions- och predikatlogik
Alla funktioner ingår i grundversionen. Ingen köp krävs. Progressbaserad upplåsning av kapitel.
Thunnder Empire är en strukturerad logikträningsapp som tar dig från grundläggande konjunktion till avancerad predikatlogik. Varje kapitel introducerar nya inferensregler som du tillämpar genom interaktiv beviskonstruktion – du bygger formella argument rad för rad, precis som i en lärobok i diskret matematik eller filosofisk logik.
Appen innehåller två huvudlägen: Proofs och Verify. I Proofs-läget konstruerar du bevis genom att välja regler från biblioteket och tillämpa dem på givna premisser för att nå önskad slutsats. I Verify-läget arbetar du med sanningstabeller för att identifiera ogiltiga argument – du klickar på rader där alla premisser är sanna men slutsatsen är falsk.
Progressionssystemet är kapitelbaserat med upplåsningskrav: kapitel 2 kräver 10 lösta bevis från kapitel 1, kapitel 3 kräver 15 från kapitel 2, och så vidare. Dagliga bevisutmaningar med streak-spårning uppmuntrar kontinuerlig träning. Sandbox-läget låter dig experimentera fritt utan begränsningar.
Bygg formella argument genom att välja inferensregler från biblioteket och tillämpa dem på premisser. Varje rad i beviset verifieras direkt – du lär dig av misstag i realtid.
Klicka på rader i interaktiva sanningstabeller för att identifiera motexempel. Perfekt för att förstå skillnaden mellan giltiga och ogiltiga argument som Affirming the Consequent.
Sökbart referensbibliotek med Modus Ponens, Modus Tollens, Conditional Proof, Reductio ad Absurdum, Ex Falso Quodlibet, Disjunction Elimination och fler. Filtrera på kategori: Conjunction, Conditional, Negation, Disjunction.
Varje dag väntar ett nytt logikproblem med svårighetsgrad markerad i stjärnor. Bygg en streak genom att lösa bevis konsekvent – perfekt för att hålla dina logikfärdigheter skarpa.
Från konjunktion och reiteration till bivillkor och predikatlogik. Varje kapitel låses upp när du demonstrerat behärskning av föregående nivå – ingen att fuska här.
Experimentera fritt i Sandbox-läget utan begränsningar. Spara ofärdiga bevis i Notebook för att återkomma senare. Perfekt för att utforska komplexa argument i egen takt.
Thunnder Empire är designad för studenter i formell logik, diskret matematik och filosofi. Appen efterliknar traditionella läroböcker i bevisteknik men erbjuder omedelbar validering och progressiv svårighetsökning. Gränssnittet använder standardnotation (∧, →, ⊢, ⊥, ¬) för att matcha akademiska kurser.
Android · Gratis nedladdning · Installation under 2 minuter
Ladda ner Thunnder EmpireKräver Android 5.0 eller senare. Appen innehåller progressbaserad upplåsning. Ingen annonsering. Lämplig från 12 år.