Plik lab03-int.j zawiera zadania na dowodzenie metodą dedukcji naturalnej dla rachunku predykatów. Przedstawione zadania dadzą się wyprowadzić korzystając z reguł logiki intuicjonistycznej (tzn. nie używając metody niewprost).
Plik lab04-klas.j zawiera bardzo podobne zadania, ale wymagają one dowodu niewprost.
Inne przykłady zdań rachunku predykatów z podziałem
- na możliwe do udowodnienia za pomocą reguł logiki intuicjonistycznej:
- prawa de Morgana, ostatni slajd, ostatni slajd c.d.
- oraz tych wymagających logiki klasycznej:
- prawa de Morgana, ostatni slajd, ostatni slajd c.d..
Dowody intuicjonistyczne są tu b. łatwe, same się narzucają. Nieliczne zdania wymagające logiki klasycznej okazują się znacznie trudniejsze do udowodnienia.
Plik lab04-int.j zawiera zadania z kwantyfikatorami do udowodnienia nie korzystając z reguł logiki klasycznej.