Зарипова, Э.Р. Дискретная математика Часть II. Математическая логика

92   P x : « x - простое число»,   Q x : « x - рациональное число» ,   ; M x y : « x y  ». Выяснить, являются ли функции истинными? А) Каждое рациональное число есть действительное число. Б) Существует число, которое является простым. В) Для каждого числа x существует такое число y , что x y  . Задание 3. Дана интерпретация:   1, 2 D  - предметная область,   1,1 P =И,   1, 2 P =Л,   2,1 P Л  ,   2, 2 P =И. Доказать, что      , x y P x y И    . Задание 4. Преобразовать в ПНФ: А)           , x P x y Q x y    , Б)                 , x y P x y z Q z R x      , В)                    , , , , x y z P x y z u Q x u v Q y v        . Задание 5. Привести формулу к ССФ. А)           , x y P x Q x y    , Б)               , x y z P x y Q z R x      , В)                    , , , , x y z u v P x y z Q x u Q y v        . Задание 6. Привести формулу к ПНФ и ССФ. А)              , x P x y z Q y z    