Создан заказ №1385989
12 октября 2016
Истинность формулы логики предикатов в алгебраической системе В следующих задачах предикаты P(x) и Q(x) заданы на множестве всех действительных чисел
Как заказчик описал требования к работе:
Математическая логика и теория алгоритмов. 8 заданий из контрольных работ.
Фрагмент выполненной работы:
Истинность формулы логики предикатов в алгебраической системе
В следующих задачах предикаты P(x) и Q(x) заданы на множестве всех действительных чисел. Следует определить:
– множество истинности предиката ¬P(x);
– справедливо ли одно из следующих соотношений Px→Qx, Qx→P(x).
Определить также, истинно или ложно каждое из высказываний:
а) ∀xP(x), б) ∃xP(x) в случаях, когда предикат Р(х) рассматривается на указанном в соответствующем задании интервале. (работа была выполнена специалистами Автор 24)
P(x) задан в виде x2>3x, Q(x) – в виде x2-4x>0:
а) ∀xP(x), где предикат P(x) рассматривается на интервале [3, + ∞);
б) ∃xP(x), где предикат Px рассматривается на интервале [0,3].
Решение:
Множество истинности предиката ¬P(x)= x2<3x,
Px→Qx≡¬Px∨Qx≡x2-3x<0∨x2-4x>0
Не выполняется, т.к. ∅.
Дизъюнкция двух предикатов есть выполнимый предикат тогда и только тогда, когда по меньшей мере один из данных предикатов выполним.
Qx→P(x)≡¬Qx∨Px≡x2-4x<0∨x2-3x>0.
Выполняется, т.к. xϵ3;4.
а) ∀xP(x), где предикат P(x) рассматривается на интервале [3, + ∞);
тождественно ложный предикат, т.к. x∉[3, + ∞).
б) ∃xP(x), где предикат Px рассматривается на интервале [0,3].
тождественно истинный предикат, т.к.∃x∈[0,3]Посмотреть предложения по расчету стоимости
Заказчик
заплатил
заплатил
200 ₽
Заказчик не использовал рассрочку
Гарантия сервиса
Автор24
Автор24
20 дней
Заказчик принял работу без использования гарантии
13 октября 2016
Заказ завершен, заказчик получил финальный файл с работой
5
Истинность формулы логики предикатов в алгебраической системе
В следующих задачах предикаты P(x) и Q(x) заданы на множестве всех действительных чисел.docx
2016-10-16 15:57
Последний отзыв студента о бирже Автор24
Общая оценка
5
Положительно
Спасибо большое, моя работа оценена на 5, спасибо большое за помощь, буду еще обращаться)