Uzavřené prostředí testových úloh na predikátový počet

Pro potřeby tohoto předmětu bylo vytvořeno prostředí, ve kterém mají studenti za úkol rozhodnout o pravdivosti výroků predikátového počtu. Seznamte se s prostředím a řešte cvičné úkoly.