Я пытаюсь использовать pyprover для оценки набора выражений исчисления предикатов, но я изо всех сил пытаюсь получить правильный синтаксис. Кто-нибудь знает хороший ресурс, который учит синтаксису или хотя бы имеет множество примеров?
Спасибо!