Plik wykl01-klas.j zawiera zadania przedstawione na wykładzie, sekwenty te wymagają użycia reguły niewprost (rachunek klasyczny). Dowody są zawarte w pliku wykl01-klas.jp.

Pliki lab01-klas.j oraz lab02-klas.jzawierają zadania na dowodzenie metodą dedukcji naturalnej dla rachunku zdań. Sekwenty te wymagają użycia reguł logiki klasycznej, tzn. konieczna będzie reguła dowodu niewprost.