Презентация к лекции: Логика предикатов

Предикаты. Основные понятия, связанные с предикатами.

1.Дать определение высказывания.

2.Привести пример простого высказывания.

3. Привести пример составного высказывания.

План

• Понятие предиката
• Классификация предикатов
• Множество истинности предиката
• Равносильность и следование предикатов

1.Понятие предиката

2. Классификация предикатов

Закономерности взаимосвязей между предикатами различных типов

1) каждый тождественно истинный предикат является выполнимым, но обратное неверно; 2) каждый тождественно ложный предикат является опровержимым, но обратное неверно; 3) каждый не тождественно истинный предикат будет опровержимым, но, вообще говоря, не будет тождественно ложным; 4) каждый не тождественно ложный предикат будет выполнимым, но, вообще говоря, не будет тождественно истинным.

3. Множество истинности предиката

4.Равносильность и следование предикатов

Вопросы:

• Сравните понятия высказывание и предикат.
• Приведите пример двуместного предиката.
• Сравните область истинности и область определения предиката.