Gioca con questa app e crea alcune prove in stile deduzione naturale. Facendo clic su una formula si espande automaticamente con possibili regole. Le ipotesi sono stampate in blu. Uno di essi selezionato genera un nuovo sottoalbero. Attaccare due alberi viene fatto trascinando la radice del primo alla foglia del secondo. Se esiste una sola possibilità, questo allegato viene eseguito automaticamente. La prova viene eseguita quando l'albero è circondato da un rettangolo rosso.
Buon divertimento! La logica è divertente
cronologia delle versioni
- Versione 1.5 pubblicato il 2015-05-07
Visualizzazione migliore
Dettagli del programma
- Categoria: Istruzione > Strumenti didattici e di formazione
- Editore: Laurent Théry
- Licenza: Gratuito
- Prezzo: N/A
- Versione: 1.5
- Piattaforma: android