mathematicsSimilar presentations:
Предикаты и кванторы. Действия над предикатами и их свойства
1. Предикаты и кванторы. Действия над предикатами и их свойства Ирина Борисовна Просвирнина
• Предикаты• Кванторы
• Ограничительные кванторы
• Логические эквивалентности выражений,
содержащих кванторы
• Отрицания выражений, содержащих кванторы
• Вложенные кванторы
2. Предикаты
Предложения, содержащие переменные, частовстречаются в
математических утверждениях;
компьютерных программах;
спецификациях систем.
3. Предикаты
Примеры таких предложений:“