Вариант № 4.

Задание 4.1.1.

Построить -местные предикаты на множестве  такие, что выполнено условие  ( - множество всех людей).

, , ,  – выполним.

Задание 4.1.2.

Выяснить местность и тип предиката , каждый аргумент которого принимает значения из множества .

, .

Задание 4.1.3.

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

, .

Задание 4.1.4.

Предикаты  и  определены на множестве .

1. Найти предикат, равносильный предикату , но не содержащий кванторов.

2. Выяснить, может ли предикат  быть выполнимым, но не тождественно истинным.

.

Задание 4.1.5.

1. Представить в приведенной форме предикат  варианта №.

.

2. Представить в предваренной нормальной форме предикат  варианта №+1.

.

Задание 4.1.6.

1. Записать с помощью кванторов высказывание  

2. Составить высказывание «не ».

3. Привести пример доказательства на основании высказывания «не ».

Вы можете заказать другой вариант или другие сочетания номеров данной контрольной работы, а также любую другую работу здесь.