Plik wykl01-int.j zawiera niektóre zadania przedstawione na wykładzie, udowodnione lub pozostawione jako ćwiczenia, możliwe do udowodnienia bez odwoływania się do reguły dowodów nie wprost (rachunek intuicjonistyczny). (Wszystkie pliki są w kodowaniu UTF-8, w przeglądarce mogą wyświetlać się nieprawidłowo).

Zapisz plik w katalogu ~/apps/Jape (Uwaga! Użyj w tym celu metody „prawy klawisz myszy + zapisz jako”).

Wczytaj te pliki do JAPE-a wybierając: File->Open

Zadania w panelu „Intuicjonistyczny rachunek zdań” rozwiąż korzystając wyłącznie z reguł intuicjonistycznego rachunku zdań.

Plik lab01-int.j zawiera zadania na dowodzenie metodą dedukcji naturalnej dla rachunku zdań przy użyciu wyłącznie reguł logiki intuicjonistycznej.

Pliki int-A.j, int-B.j oraz int-inne.j zawierają dodatkowe zestawy raczej łatwych zadań rachunku intuicjonistycznego.