Prześlij oprogramowanie
  1. W: strona główna
  2. Android
  3. Narzędzia do nauczania i szkolenia
  4. Natural Deduction

Natural Deduction 1.5

Licencji: Wolna ‎Rozmiar pliku: 1.15 MB
‎Ocena użytkowników: 0.0/5 - ‎0 ‎Głosów
Pobierz

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

historia wersji

  • Wersja 1.5 opublikowany na 2015-05-07
    Lepszy wyświetlacz

Szczegóły programu

Programy pokrewne

  • Licensure Exam LET Wolna

    Twoje najlepsze źródło wiarygodnego kompilacji materiałów przeglądowych do licensure egzamin dla nauczycieli (LET) jest wreszcie tutaj na tej aplikacji i to na pewno za darmo!Twoje wyszukiwanie kończy się tutaj!Zdać e

  • 2x2=4 lite - Fun Times Tables Wolna

    Jest okres w życiu szkolnym, kiedy trzeba nauczyć się tablicy mnożenia. Mój syn nie był wyjątkiem i nie uniknął losu.Zaczęliśmy studiować stół w ten sam stary sposób: obróciliśmy notatnik i zaczęliśmy się uczyć.Oczywiśc

  • Sanskrit Keyboard plugin(IAST) Wolna

    Sanskryt (IAST) słownik wtyczki dla Multiling O Keyboard. To nie jest niezależna aplikacja, proszę zainstalować OKeyboard wraz z tą wtyczką.Instrukcji:​⑴. Zainstaluj tę wtyczkę iKlawiatura Multiling O.

  • Smart Vocab English Wolna

    Smart Vocab angielskiĆwicz i poszerz swoje słownictwo dzięki aplikacji Compass Media Smart Vocab! Nasza aplikacja jest doskonałym uzupełnieniem, aby dowiedzieć się i wzmocnić słownictwa docelowego z każdej z naszych książ

  • Chemistry Wolna

    Aplikacja Chemia pozwala znaleźć reakcje chemiczne i rozwiązać równania chemiczne za pomocą jednej lub wielu nieznanych zmiennych. Zawsze będziesz mieć pod ręką układ okresowy Mendelejew i stół rozpuszczalności! I nawet kal

  • Croatian-English Dictionary Wolna

    To jest słownik chorwacko-angielski i angielsko-chorwacki(Hrvatski-Engleski rječnik)Ten nowy słownik to coś więcej niż tylko słownik. Można wyszukiwać słowa, z których można również słuchać wymowy. To wszystko jest b

  • Marine Aquarium Fish 2 FREE Wolna

    Surgeonfish, Clownfish, Angelfish, Gobies, Puffers, Wrasse, Tangs i wiele innych! Ta gra edukacyjna wykorzystuje 52 zdjęcia, aby wprowadzić Cię do kolorowego świata tropikalnych ryb. Ciesz się wirtualnym akwarium w telefoni

  • Listening Effortless english Wolna

    Wystarczy posłuchać. Nie próbuj zapamiętywać słów.Teraz jest czas, aby mówić po angielsku pewnie. Przestudiuj te potężne lekcje angielskiego i popraw swój anglojęzyczny!UCZ SIĘ ANGIELSKIEGO W TEN POTĘŻNY SPOSÓBUcz się

  • Learn English for TOPIK Wolna

    TOPIK, lub Test biegłości w języku koreańskim jest koreański test języka oferowane pięć razy w roku (w styczniu, kwietnia, w październiku, październiku, listopadzie) do cudzoziemców w Korei i dwa razy w roku (kwiecień, paździ

  • W-HS Campus Bocholt Roomplan Wolna

    Przydatny asystent dla studentów, wykładowców i gości Westfälische Hochschule – Campus BocholtTa aplikacja pomaga znaleźć drogę na Uniwersytecie w Bocholt. Plan pokoju pokazuje, kiedy i które pokoje są używane.