Natural Deduction 1.5
Licencji: Wolna Rozmiar pliku: 1.15 MB
Ocena użytkowników: 0.0/5 - 0 Głosów
Czekaj... Link do pobrania jest weryfikowany pod kątem złośliwej zawartości.
Pobieranie będzie można pobrać w ciągu 5 sekund.
Pobieranie będzie można pobrać w ciągu 5 sekund.
O Natural Deduction
Zagraj z tej aplikacji i zbudować kilka dowodów w naturalnym stylu odliczenia. Kliknięcie formuły powoduje automatyczne rozwinięcie jej o możliwe reguły. Założenia są drukowane na niebiesko. Wybrany jeden z nich generuje nowe poddrzewo. Dołączanie dwóch drzew odbywa się przez przeciągnięcie korzenia pierwszego do liścia drugiego. Jeśli istnieje tylko jedna możliwość, ten załącznik jest wykonywany automatycznie. Dowód jest wykonywany, gdy drzewo jest otoczone czerwonym prostokątem.
Baw się dobrze! Logika jest zabawna