Очень нужна Ваша помощь...
Вывести формулу в формальной теории L1 :
A->(-|B -> C-> A\/(B\/C))
-| - отрицание
Мои идеи:
A-> (-|B \/ -|C \/ A \/ (B\/c))
Так?
Что можно сделать дальше?
Буду благодарна любой помощи!!!
Форальная теория L1
Форальная теория L1
Последний раз редактировалось Lifastyle 29 ноя 2019, 18:25, всего редактировалось 1 раз.
Причина: test
Причина: test
Форальная теория L1
(-|B -> C-> A\/(B\/C))
Мне как-то странно,что в этой паре импликаций не поставлены скобки. Двусмысленность?
Мне как-то странно,что в этой паре импликаций не поставлены скобки. Двусмысленность?
Последний раз редактировалось Ian 29 ноя 2019, 18:25, всего редактировалось 1 раз.
Причина: test
Причина: test
Форальная теория L1
Ian писал(а):Source of the post
(-|B -> C-> A\/(B\/C))
Мне как-то странно,что в этой паре импликаций не поставлены скобки. Двусмысленность?
Эммм...ошиблась c условием...
Вот правильное:
A->(-|B \/ C-> A\/(B\/C))
-| - отрицание
Мои идеи решения:
1) A-> (-|B \/ -|C \/ A \/ (B\/c))
2) -|A \/ (-|B \/ -|C \/ A \/ (B\/c))
Как быть дальше?
Последний раз редактировалось Lifastyle 29 ноя 2019, 18:25, всего редактировалось 1 раз.
Причина: test
Причина: test
Форальная теория L1
A дальше - просто переставить местами: (-|A+A)+(-|B+B)+(-|C+C)
+ - дизъюнкция. Там где смайлик - B
B латехе:
Последний раз редактировалось ALEX165 29 ноя 2019, 18:25, всего редактировалось 1 раз.
Причина: test
Причина: test
Форальная теория L1
He в латексe, a в латехе. Слово записано греческими буквами.
Последний раз редактировалось fir-tree 29 ноя 2019, 18:25, всего редактировалось 1 раз.
Причина: test
Причина: test
Форальная теория L1
Спасибо, но на них же не написано какие они.
Последний раз редактировалось ALEX165 29 ноя 2019, 18:25, всего редактировалось 1 раз.
Причина: test
Причина: test
Форальная теория L1
Наконец-то. Теперь я знаю, почему его так по разному называют.)
Последний раз редактировалось SiO2 29 ноя 2019, 18:25, всего редактировалось 1 раз.
Причина: test
Причина: test
Форальная теория L1
ALEX165 писал(а):Source of the post Спасибо, но на них же не написано какие они.
Написано в любой литературе по этой системе.
Последний раз редактировалось fir-tree 29 ноя 2019, 18:25, всего редактировалось 1 раз.
Причина: test
Причина: test
Вернуться в «Дискретная математика»
Кто сейчас на форуме
Количество пользователей, которые сейчас просматривают этот форум: нет зарегистрированных пользователей и 35 гостей