Логический квадрат. Формулы логики предикатов. Тавтологии логики ...