Выяснить имеет ли место логическое следствие (ответ обосновать). Бесплатный доступ к контрольной работе

Реферат.Справочник
Контрольные работы по высшей математике
Выяснить имеет ли место логическое следствие (ответ обосновать)

Выяснить имеет ли место логическое следствие (ответ обосновать) .pdf

Зарегистрируйся в 2 клика в Кампус и получи неограниченный доступ к материалам с подпиской Кампус+ 🔥

Условие

Выяснить, имеет ли место логическое следствие (ответ обосновать) Теория: Формула G называется логическим следствием формул F1, F2, если всякий раз, когда для некоторого набора значений переменных А,В,С формулы F1, F2, принимают значение истина, формула G также принимает значение истина при том же наборе значений переменных А,В,С. • Если формула G логическое следствие формул F1, F2, то пищут: F1, F2 |= G. Формулы F1, F2 называют посылками, а формулу G заключением или логическим следствием. G заключение, если в какой – то строке таблицы все посылки F1, F2 принимают значение истина, то и G в этой строке принимает значение истина.

Ответ

Данная формула не является логическим следствием, поскольку выражение G должно принимать значение истина только тогда, когда оба выражения F1 и F2 будут являться истинными.

Решение

Потяни, чтобы посмотреть

Пусть F1=A→(C→B), F2=A˄неC, G=неB
А В С C→B F1 неC
F2 G
0 0 0 1 1 1 0 1
0 0 1 0 1 0 0 1
0 1 0 1 1 1 0 0
0 1 1 1 1 0 0 0
1 0 0 1 1 1 1 1
1 0 1 0 0 0 0 1
1 1 0 1 1 1 1 0
1 1 1 1 1 0 0 0
Ответ: Данная формула не является логическим следствием, поскольку выражение G должно принимать значение истина только тогда, когда оба выражения F1 и F2 будут являться истинными.

50% задачи недоступно для прочтения

Переходи в Кампус, регистрируйся и получай полное решение

Получить задачу