Thunnder Empire bygger på formel logik-undervisning gennem interaktiv bevisføring. Hver øvelse præsenterer præmisser og en konklusion – dit mål er at konstruere et gyldigt bevis ved at anvende logiske regler som konjunktionsintroduktion, modus ponens eller betinget bevis.
Kapitelsystemet låser progressivt op baseret på din præstation. Kapitel 1 fokuserer på konjunktion og grundlæggende regelanvendelse, mens senere kapitler introducerer negation, disjunktion og prædikatlogik. Systemet kræver f.eks. 10 gennemførte beviser fra Kapitel 1 før Kapitel 2 bliver tilgængeligt.
Verifikationstilstanden bruger sandhedstabeller til at træne forståelse af gyldige argumenter. Du skal identificere rækker hvor præmisserne er sande men konklusionen falsk – hvis ingen sådanne rækker findes, er argumentet gyldigt ifølge propositionslogik.