Мамадалиев Н. К. Тема: Предикаты. Область истинности предикатов. Равносильные предикаты

Тема: Предикаты. Область истинности предикатов. Равносильные предикаты

Что такое предикат?

Операции над предикатами:

• Обычные операции над высказываниями
• Квантор общности -
• Квантор существования -

•  

Задачи:

Какие из следующих выражений являются предикатами?

Задачи:

Определить, какие из следующих предикатов истинные, а какие ложные?

Задачи:

Найдите множество истинности следующих предикатов, заданных над указанными множествами:

Задачи:

Спасибо

Спасибо

за внимание!