Peanoware
Panoramica
Costruisci la tua prova in deduzione naturale. Selezionando una formula, si espande l'albero con l'applicazione di una regola…
Costruisci la tua prova in deduzione naturale. Selezionando una formula, si espande l'albero con l'applicazione di una regola possibile. Le ipotesi sono in blu. Premendo sopra si crea uno nuovo sotto-albero. Si può attaccare un albero ad'un altro trascinando la radice del primo verso la foglia dell'altro. La prova è finita quando è circondata di un rettangolo rosso.
Dettagli
- Versione1.4
- Ultimo aggiornamento:10 aprile 2015
- Dimensioni1.1MiB
- Lingue54 lingue
- Non commercianteQuesto sviluppatore non si è identificato come commerciante. Per quanto riguarda i consumatori nell'Unione Europea, tieni presente che i diritti del consumatore non sono applicabili ai contratti stipulati tra te e questo sviluppatore.
Privacy
Gestisci le estensioni e scopri come vengono utilizzate nella tua organizzazione
Lo sviluppatore non ha fornito alcuna informazione in merito alla raccolta o all'utilizzo dei tuoi dati.