Местность предиката

31. Задание {{ 332 }} ТЗ № 332

Какое из следующих определений верно?

R Высказывательная форма, зависящая от переменных, значения которых берутся из множества Д, принимающее значение называется предикатом.

£ Высказывательная форма, зависящая от переменных, значения которых берутся из множества Д, принимающее только истинные значения называется предикатом.

£ Высказывательная форма, принимающее значение называется предикатом.

£ Высказывательная форма, зависящая от переменных, значения которых берутся из множества Д, принимающее только ложные значения называется предикатом.

32. Задание {{ 333 }} ТЗ № 333

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

£ подмножеством предиката

R подмножеством истинности предиката

£ одноместным предикатом

£ предикатом.

33. Задание {{ 334 }} ТЗ № 334

Число переменных от которых зависит данный предикат называется

£ адресом предиката

R местностью предиката

£ невозможностью предиката

£ выполнимостью предиката

34. Задание {{ 335 }} ТЗ № 335

Предикат зависящий от трёх переменных называется

£ высказыванием предикатом

£ невозможным предикатом

£ общезначимым предикатом

R трёхместным предикатом

35. Задание {{ 336 }} ТЗ № 336

Множество всех предикатов делятся на классы:

£ общезначимые, тождественно истинные, выполнимые

£ тождественно ложные, невозможные, выполнимые

R общезначимые, невозможные, выполнимые

£ общезначимые, невозможные, не выполнимые

36. Задание {{ 337 }} ТЗ № 337

Предикаты, которые при всех наборах значений переменных принимают, только истинные значения называются

R общезначимым

£ выполнимыми

£ возможными

£ невозможными.

37. Задание {{ 338 }} ТЗ № 338

Предикаты, которые при всех наборах значений переменных принимают, только ложные значения называются

£ общезначимым

£ выполнимыми

£ возможными

R невозможными.

38. Задание {{ 339 }} ТЗ № 339

0-местный предикат есть

£ простое число

£ пустое множество

£ невозможный предикат

R высказывание

39. Задание {{ 340 }} ТЗ № 340

Какие логические операции над предикатами мы можем проводить?

£ операции квантования, отрицание, конъюнкция, дизъюнкция, импликация, эквиваленция

R отрицание, конъюнкция, дизъюнкция, импликация, эквиваленция

£ отрицание, конъюнкция, дизъюнкция, импликация, эквиваленция, навешивание квантора общности;

£ отрицание, конъюнкция, дизъюнкция, импликация, эквиваленция, навешивание квантора существования

40. Задание {{ 341 }} ТЗ № 341

Какие операции над предикатами мы можем проводить?

R операции квантования, отрицание, конъюнкция, дизъюнкция, импликация, эквиваленция

£ отрицание, конъюнкция, дизъюнкция, импликация, эквиваленция

£ отрицание, конъюнкция, дизъюнкция, импликация, эквиваленция, навешивание квантора общности;

£ отрицание, конъюнкция, дизъюнкция, импликация, эквиваленция, навешивание квантора существования