Предикаты и кванторы. Действия над предикатами и их свойства

1.

Предикаты и кванторы.
Действия над предикатами и их
свойства
Материал скопирован с сайта
https://ppt-online.org/20514
• Предикаты
• Кванторы
• Ограничительные кванторы
• Логические эквивалентности выражений,
содержащих кванторы
• Отрицания выражений, содержащих кванторы
• Вложенные кванторы

2.

Предикаты
Предложения, содержащие переменные, часто
встречаются в
математических утверждениях;
компьютерных программах;
спецификациях систем.

3.

Предикаты
Примеры таких предложений:
“