Логика понятий. Исчисление предикатов и классов. Одноаргументная функция

Логика классов и предикатов: анализ взаимоотношений между понятиями, кванторы, одноместные предикаты и логические операции.