Операции над предикатами

51. Задание {{ 342 }} ТЗ № 342

предикат заданный на множестве Д, какие из следующих равенств верно?

£ ;

52. Задание {{ 343 }} ТЗ № 343

Отрицанием предиката , заданного на множестве Д, называется предикат, заданный на том же множестве, подмножество истинности которого есть

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

£ множество Д

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

£ дополнение к предикату

53. Задание {{ 344 }} ТЗ № 344

и предикаты заданные на множестве Д, какие из следующих равенств верно?

54. Задание {{ 345 }} ТЗ № 345

Конъюнкцией двух предикатов и , заданных на одном и том же множестве Д называется предикат заданный на том же множестве Д, подмножество истинности которого есть

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

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

£ объединение предикатов и

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

55. Задание {{ 346 }} ТЗ № 346

и предикаты заданные на множестве Д, какие из следующих равенств верно?

56. Задание {{ 347 }} ТЗ № 347

Дизъюнкцией двух предикатов и , заданных на одном и том же множестве Д, называется предикат заданный на том же множестве Д, подмножество истинности которого есть

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

£ пересечение предикатов и ;

£ объединение предикатов и

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

57. Задание {{ 348 }} ТЗ № 348

и предикаты заданные на множестве Д, какие из следующих равенств верно?

58. Задание {{ 349 }} ТЗ № 349

Импликацией двух предикатов и , заданных на одном и том же множестве Д, называется предикат, заданный на том же множестве Д, подмножество истинности которого есть

£ пересечение дополнения подмножества истинности предиката и объединение подмножеств истинности предикатов и

£ объединение предиката и пересечение предикатов и

R объединение дополнения подмножества истинности предиката и пересечение подмножеств истинности предикатов и

£ объединение подмножества истинности предиката и пересечение дополнений подмножеств истинности предикатов и

59. Задание {{ 350 }} ТЗ № 350

и предикаты заданные на множестве Д, какие из следующих равенств верно?

60. Задание {{ 351 }} ТЗ № 351

Эквиваленцией двух предикатов и , заданных на одном и том же множестве Д, называется предикат, заданный на том же множестве Д, подмножество истинности которого есть

£ пересечение объединений предикатов и и их дополнений;

£ объединение пересечений предикатов и и их дополнений

£ пересечение объединений подмножеств истинности предикатов и и их дополнений

R объединение пересечений подмножеств истинности предикатов и и их дополнений.