Natural Deduction 1.5
Licenza: Gratuito Dimensioni del file: 1.15 MB
Valutazione utenti: 0.0/5 - 0 Voti
Attendere prego... Il tuo link per il download è in fase di verifica per contenuti dannosi.
Sarai in grado di scaricare in 5 secondi.
Sarai in grado di scaricare in 5 secondi.
Circa Natural Deduction
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