Консультация № 186407
22.06.2012, 14:01
82.71 руб.
22.06.2012, 15:04
0 20 1
Здравствуйте, уважаемые эксперты! Прошу вас ответить на следующие вопросы:
1. Найдите область истинности предиката
P:X[$215$]Y[$8594$]{0,1}
P(x,y)=((x+y):5)[$8595$]((x[$149$]y):6), где X={4,7,22} Y={2,8,4,9}

2. Определить истинность высказывания
ExAy(P(x,y) + Q(x,y)), где

P(x,y):
Код:
       x
0 1 1 1
y 1 0 1 0
1 1 0 1

Q(x,y):
Код:
       x
1 0 0 1
y 0 1 0 1
0 1 1 0

Спасибо.

Обсуждение

давно
Академик
320937
2216
22.06.2012, 14:07
общий
Уважаемые эксперты! Нашёл всё-таки правильные значки для второго вопроса.
∃x∀y(P(x,y) ⊕ Q(x,y))
Спасибо.
давно
Посетитель
7438
7205
22.06.2012, 14:16
общий
Леонид Борисович, а что это за операция?
P(x,y) ⊕ Q(x,y)
Исключающее ИЛИ?
Об авторе:
"Если вы заметили, что вы на стороне большинства, —
это верный признак того, что пора меняться." Марк Твен
давно
Академик
320937
2216
22.06.2012, 14:20
общий
Адресаты:
Добрый день, Игорь Витальевич! Полагаю, что исключающее ИЛИ.
давно
Академик
320937
2216
22.06.2012, 14:23
общий
22.06.2012, 14:37
Адресаты:
Я первый вопрос понял так
A = (x+y) mod 5 = 0 для пар (7,8) (22,8)
B = (x*y) mod 6 = 0 для пар (4,9) (22,9)
A Штрих Шеффера B
И в ответе всё множество пар из X и Y.
(4,2) (4,8) (4,9) (7,2) (7,8) (7,4) (7,9) (22,2) 22,8) (22,4) (22,9)
Но сильно сомневаюсь :)
давно
Академик
320937
2216
22.06.2012, 14:30
общий
Адресаты:
По 2 вопросу думаю так. X - заголовок столбца. Y- заголовок строки
Выбираем, например, первый столбец
для P: (0,1,1)
для Q: (1,0,0)
Рассмотрим отдельно каждую пару:
(0,1) 0⊕1=1
(1,0) 1⊕0=1
(1,0) 1⊕0=1
Для каждого y в первом столбце значение P(1,y)⊕Q(1,y) истинно, то есть существует такой x (а именно x=1), что для любого y истинно данное высказывание.
Опять же СИЛЬНО СОМНЕВАЮСЬ :).
давно
Посетитель
7438
7205
22.06.2012, 14:46
общий
22.06.2012, 14:51
Адресаты:
Со вторым согласен, так и есть
А в первом, мне кажется, немного не так
Надо определить такие X и Y, для которых либо сумма делится нацело на 5, либо произведение делится на 6
Это будет: {7, 8}, {22, 8}, {4, 9}, {22, 9}

PS Сейчас теорию гляну
PPS Так и есть

Мда, посмотрел Ваш ответ еще раз... Вы сказали то же самое ...
Значит правильно
Об авторе:
"Если вы заметили, что вы на стороне большинства, —
это верный признак того, что пора меняться." Марк Твен
давно
Посетитель
7438
7205
22.06.2012, 14:57
общий
Адресаты:
Да, штрих Шеффера (сначала подумал про ИЛИ)
Ложно, когда оба истинно.
У нас таких пар нет, значит областью истинности будет все пары.
Вы правы!
Об авторе:
"Если вы заметили, что вы на стороне большинства, —
это верный признак того, что пора меняться." Марк Твен
давно
Профессор
230118
3054
22.06.2012, 15:06
общий
Я давно просила добавить такой значок, но
давно
Профессор
230118
3054
22.06.2012, 15:11
общий
это ответ
Здравствуйте, Гусятинер Леонид aka lamed!

A = (x+y) mod 5 = 0 для пар (7,8) (22,8)
B = (x*y) mod 6 = 0 для пар (4,9) (22,9)
Оба предиката истинны ни на одной паре, штрих Шеффера истинен для всех пар
давно
Посетитель
7438
7205
22.06.2012, 15:13
общий
Адресаты:
Никогда не поздно вернуться к данной теме...
Давайте добавим нужные значки к панели рассылки...
Нарисуйте, какие еще необходимы. Думаю, это все решаемо...
Об авторе:
"Если вы заметили, что вы на стороне большинства, —
это верный признак того, что пора меняться." Марк Твен
давно
Профессор
230118
3054
22.06.2012, 15:17
общий
[$9744$] |-
давно
Посетитель
7438
7205
22.06.2012, 15:19
общий
Адресаты:
А по-подробнее: название, unicode, изображение
Об авторе:
"Если вы заметили, что вы на стороне большинства, —
это верный признак того, что пора меняться." Марк Твен
давно
Профессор
230118
3054
22.06.2012, 15:35
общий
22.06.2012, 15:36
значок отрицания код 172 ¬
пустое высказывание код 9744 [$9744$]
логическое сложение 8853 [$8853$]
давно
Профессор
230118
3054
22.06.2012, 15:37
общий
RIGHT TACK ⊢ ⊢ 8866
давно
Посетитель
7438
7205
22.06.2012, 15:40
общий
Адресаты:
Ок, сделаем в ближайшее время
Об авторе:
"Если вы заметили, что вы на стороне большинства, —
это верный признак того, что пора меняться." Марк Твен
давно
Посетитель
7438
7205
22.06.2012, 15:45
общий
Адресаты:
Кстати, [$172$] уже есть!
Об авторе:
"Если вы заметили, что вы на стороне большинства, —
это верный признак того, что пора меняться." Марк Твен
давно
Посетитель
7438
7205
22.06.2012, 15:50
общий
Адресаты:
Как по-русски сказать RIGHT TACK ⊢?
Об авторе:
"Если вы заметили, что вы на стороне большинства, —
это верный признак того, что пора меняться." Марк Твен
давно
Профессор
230118
3054
22.06.2012, 16:05
общий
Адресаты:
Не знаю, означает выводимость
давно
Академик
320937
2216
27.06.2012, 12:53
общий
Адресаты:
Спасибо за поддержку. Студент сдал успешно.
давно
Посетитель
7438
7205
27.06.2012, 23:50
общий
Адресаты:
Всегда пожалуйста
Об авторе:
"Если вы заметили, что вы на стороне большинства, —
это верный признак того, что пора меняться." Марк Твен
Форма ответа