2 8 Закрытый тип

Пусть P(X)– предикат, определенный на множестве М. Тогда формуле логики предикатов может соответствать на естественном языке формулировка:

1)	“высказывание всегда истинно”
*2)	“Для всех из М высказывание истинно”
3)	“Существует из М такое, что высказывание истинно”
4)	“ тождественно истинно для всех из любых множеств”

2 9 Закрытый тип

Сформулированы следующие логические высказывания: А – “Андреев – студент ВЭГУ”; В – “Салеев – студент УГАТУ”; С – “Садчук – студент БГУ”. Тогда при подстановке переменой Х вместо фамилий студентов в выражения, подобные А,В,С, получатся

*1)	одноместные предикаты: студентВЭГУ(Х), студентУГАТУ(Х), студентБГУ(Х)
2)	тождественно истинные логические высказывания
3)	одноместные предикаты: студент(Х,ВЭГУ), студент(Х,УГАТУ), студент(Х,БГУ)
4)	двуместные предикаты: студент(Х)ВЭГУ, студент(Х)УГАТУ , студент(Х)БГУ

2 10 Закрытый тип

Сформулированы следующие логические высказывания: А – “Андреев – студент ВЭГУ”; В – “Салеев – студент УГАТУ”; С – “Садчук – студент БГУ”. Тогда при подстановке переменой Х вместо фамилий студентов и переменной Y вместо наименований учебных заведений в выражения, подобные А,В,С, получится

1)	двуместный предикат студентХY
2)	одноместный предикат студент Х(Y)
3)	двуместный предикат студент(Х)Y
*4)	двуместный предикат студент(Х,Y)

2 11 Закрытый тип

Формулой логики предикатов является выражение

1)
2)
*3)
4)

2Закрытый тип

Для любых множеств M предметных переменных взаимно однозначное соответствие существует между

1)	бинарными отношениями и n-местными предикатами для любого значения n
2)	бинарными отношениями и множеством
3)	n-местными отношениями и множеством
*4)	n-местными отношениями и n-местными предикатами для любого n

1 2 Закрытый тип

Задано M – множество предметных переменных, , – предикат, , . Если R задает область истинности предиката , то...

*1)
2)
3)
4)

1 3 Закрытый тип

Задано M – множество предметных переменных, , – предикат, , , . Тогда

*1)	R задает область истинности предиката
2)	предикат задает область неопределенности отношения
3)	предикат задает область истинности отношения
4)	R задает область определения предиката

1  4 Закрытый тип

Задано M – множество предметных переменных. Каждому n-местному отношению соответствует предикат такой, что …

1)
2)
*3)
4)

1  5 Закрытый тип

Задано M – множество предметных переменных. Любой предикат при определяет отношение такое, что …

1)
2)
*3)
4)

1  6 Закрытый тип

Пусть предикат описывает отношение ”X подчиняется Y” на множестве людей М. Тогда предложению “Существует человек X, который кому-то подчиняется ” соответствует формула:

1)
2)
3)
*4)

3  7 Закрытый тип

Пусть предикат описывает отношение ”X лечит Y” на множестве людей М. Тогда предложению “Существует человек X, который лечит всех людей ” соответствует формула:

*1)
2)
3)
4)

3  8 Закрытый тип

Пусть предикат описывает отношение ”X руководит Y” на множестве людей М. Тогда предложению “Для любого человека X найдется человек Y , которым руководит X” соответствует формула:

1)
2)
3)
*4)

3  9 Закрытый тип

Пусть предикат описывает отношение ”X доверяет Y” на множестве людей М. Тогда предложению “Существует человек Y , которому доверяют все” соответствует формула:

*1)
2)
3)
4)

3  10 Закрытый тип

Пусть предикат описывает отношение ”X учит Y” на множестве людей М. Тогда предложению “Каждый человек X кого-то учит” соответствует формула:

1)
2)
3)
*4)

3  11 Закрытый тип

Пусть: – множество натуральных чисел, , – предикат “быть нечетным числом”.Тогда формуле на естественном языке соответствует предложение:

1)	“Существует такое нечетное число, что высказывание ложно”.
2)	“В любом множестве существует нечетное число”.
*3)	“В множестве существует нечетное число”.
4)	“Существует натуральное число такое, что высказывание истинно и ложно”.