Краткий обзор символизации в логике предикатов

Краткое изложение основных форм символизации в предикатной логике. Дополнительную информацию и онлайн-тесты см. на сайте www.ifpthenq.net.