Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Математическая логика и теория алгоритмов.doc
Скачиваний:
0
Добавлен:
01.04.2025
Размер:
4.29 Mб
Скачать

Конъюнкция и дизъюнкция предикатов

21. Задание {{ 392 }} ТЗ № 392

На множестве заданы предикаты : «х- натуральное число», : « » подмножеством истинности предиката является

22. Задание {{ 393 }} ТЗ № 393

На множестве заданы предикаты : «х- натуральное число», : « » подмножеством истинности предиката является

23. Задание {{ 394 }} ТЗ № 394

На множестве заданы предикаты : « », : « » подмножеством истинности предиката является

24. Задание {{ 395 }} ТЗ № 395

На множестве заданы предикаты : « », : « » подмножеством истинности предиката является

25. Задание {{ 396 }} ТЗ № 396

На множестве заданы предикаты : «х- натуральное число», : « » подмножеством истинности предиката является

26. Задание {{ 397 }} ТЗ № 397

На множестве заданы предикаты : «х- натуральное число», : « » подмножеством истинности предиката является

27. Задание {{ 398 }} ТЗ № 398

На множестве заданы предикаты : « », : « » подмножеством истинности предиката является

28. Задание {{ 399 }} ТЗ № 399

На множестве заданы предикаты : « », : « » подмножеством истинности предиката является

29. Задание {{ 400 }} ТЗ № 400

На множестве заданы предикаты : « », : « » подмножеством истинности предиката является

30. Задание {{ 401 }} ТЗ № 401

На множестве заданы предикаты : «х – натуральное число», : « » подмножеством истинности предиката является

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

 возможными

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

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

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

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

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

 возможными

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

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

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

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

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

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

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

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

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

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

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

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

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