1. Предикаты и кванторы. Действия над предикатами и их свойства
• Предикаты
• Кванторы
• Ограничительные кванторы
• Логические эквивалентности выражений,
содержащих кванторы
• Отрицания выражений, содержащих
кванторы
• Вложенные кванторы
2. Предикаты
Примеры таких предложений:
“
mathematics
