Thunnder Empire

Scegli il tuo percorso di apprendimento

Accesso immediato

Capitolo introduttivo gratuito

20 prove sulla congiunzione
Feedback immediato per ogni errore
Nessuna registrazione richiesta

Inizia subito gratis

Più richiesto Completo

Curriculum completo sbloccato

Tutti i 196 esercizi disponibili
Modalità Sandbox illimitata
Tracciamento progressi dettagliato

Sblocca tutto ora

Sfida quotidiana

Prova giornaliera con streak

Una dimostrazione nuova ogni giorno
Sistema di streak motivazionale
Difficoltà crescente progressiva

Accetta la sfida

I codici promozionali sono validi per nuove installazioni. Alcuni percorsi richiedono il completamento di esercizi precedenti.

Come funziona la costruzione delle prove

Thunnder Empire implementa un motore di verifica logica che analizza ogni passo della tua dimostrazione in tempo reale. Quando applichi una regola di inferenza, il sistema confronta le tue premesse con le forme valide catalogate e ti fornisce feedback immediato sulla correttezza.

Il curriculum è strutturato secondo una progressione pedagogica: parti dalla congiunzione e dalla reiterazione, le regole più semplici, per poi affrontare il condizionale, la negazione e infine tecniche avanzate come la dimostrazione per assurdo e la disgiunzione per casi.

Ogni esercizio propone un argomento da dimostrare utilizzando premesse date. Costruisci la dimostrazione passo dopo passo, selezionando la regola appropriata e indicando quali linee precedenti giustificano il nuovo passo. Il sistema blocca mosse invalide e suggerisce dove si trova l'errore logico.

Piattaforma Android 5.0 e superiori

Dimensioni ~45 MB download

Versione attuale Aggiornato October 2026

Connessione Modalità offline disponibile

Lingua interfaccia Inglese (notazione universale)

Costo Gratuito con sblocchi opzionali

Categorie Istruzione, Logica, Matematica

Strumenti e modalità di studio

Sandbox libera

Sperimenta con prove personalizzate senza vincoli. Testa le regole, crea controesempi e verifica le tue intuizioni in un ambiente senza limitazioni.

Libreria di regole

Consulta tutte le regole di inferenza con notazione simbolica e spiegazioni. Filtra per categoria: congiunzione, condizionale, negazione, disgiunzione.

Modalità Verifica

Identifica argomenti invalidi analizzando tabelle di verità. Trova la riga che refuta l'argomento: premesse vere ma conclusione falsa.

Prove giornaliere

Una dimostrazione nuova ogni giorno con difficoltà calibrata. Mantieni lo streak per costruire l'abitudine al ragionamento formale quotidiano.

Tracciamento progressi

Monitora quali capitoli hai completato e quali regole utilizzi con più difficoltà. Il sistema evidenzia le aree che richiedono ulteriore pratica.

Sblocco progressivo

I capitoli si aprono gradualmente: completa un numero specificato di prove in un capitolo per accedere al successivo, garantendo solide fondamenta.

Regole logiche e metodologie

Regole elementari applicate

Modus Ponens e Modus Tollens per i condizionali
Introduzione ed eliminazione della congiunzione
Introduzione della disgiunzione con dimostrazione per casi
Reiterazione per copiare linee esistenti
Eliminazione della negazione per identificare contraddizioni
Dimostrazione condizionale assumendo l'antecedente

Tecniche avanzate disponibili

Reductio ad Absurdum derivando contraddizioni
Ex Falso Quodlibet per derivare qualsiasi cosa dal falso
Dimostrazione per casi esaustivi su disgiunzioni
Costruzione di sottoprove con assunzioni temporanee
Catene di inferenza con dipendenze tracciate
Applicazione di teoremi dimostrati in nuovi contesti

Approccio pedagogico strutturato

Thunnder Empire adotta la metodologia di insegnamento utilizzata nei corsi universitari di logica formale. Ogni capitolo introduce nuove regole solo dopo aver consolidato quelle precedenti, garantendo che gli studenti costruiscano competenze solide invece di memorizzare procedure senza comprensione profonda.