[sanasana]

Очень нужна Ваша помощь...
Вывести формулу в формальное теории L1 :

A->(-|B \/ C-> A\/(B\/C))
-| - отрицание

@темы: Дискретная математика

Comments

[IskanderLocator]

sanasana точнее что за задание

[sanasana]

Дана формула: A->(-|B -> C-> A\/(B\/C))
Нужно её доказать(вывести) в формальной теории L1 (Гильберт).

[IskanderLocator]

sanasana знаете как делать?
или совсем не в теме?

[sanasana]

есть 4 аксиомы:
A1: A\/A->A
A2: A->A\/B
A3: A\/B->B\/A
A4: (B->C)->(A\/B->A\/C)
и правило вывода МР

А вот применить это всё к заданной формуле у меня не получается(((

[IskanderLocator]

А метаопределение?

[sanasana]

A->B = -|A\/B

[IskanderLocator]

sanasana используйте его и приведите к виду когда все в объединениях

[IskanderLocator]

sanasana все я ушел бууду вечером. Может еще кто-то поможет, но расписав через метаопределение как я сказал дальше думаю будет просто

[sanasana]

Использовала для внешней импликации :
-|A \/ (-|B\/C -> A\/(B\/C))
Как быть с внутренней?

[IskanderLocator]

sanasana надо было начинать слева направо нача в с из С следует и так далее. Идя справа налево

[sanasana]

A-> (-|B \/ -|C \/ A \/ (B\/c))
Так?

[IskanderLocator]

sanasana а теперь откріть и первое следование.
а потом расскріть все скобки

[sanasana]

-|A \/ (-|B \/ -|C \/ A \/ (B\/c))
Верно?
Как потом расскрывать скобки?

[IskanderLocator]

sanasana

-|B

тут должно быть двойное отрицание В

и расскройте скобки

[sanasana]

Нет, там одинарное отрицание по идеи...я просто ошиблась с условием,вот правильное
A->(-|B \/ C-> A\/(B\/C))
В итге получила:
-|A \/ (-|B \/ -|C \/ A \/ (B\/c))

Как потом расскрывать скобки?

[IskanderLocator]

sanasana тогда ясно. Исправте условие пожалуйста заодно

[sanasana]

Исправила условие)
Что можно сделать с тем выражением? Как правильно расскрыть скобки?

[IskanderLocator]

-|A \/ (-|B \/ -|C \/ A \/ (B\/c))

Я запишу так неА \/(неВ\/А\/С->(B\/c))
С->(B\/c)это верно ибо в чистом виде аксиома 3

[IskanderLocator]

sanasana вам это на завтра надо
и где вы учитесь если не секрет?

[sanasana]

Аксиома 3?

[IskanderLocator]

sanasana я спать завтра буду днем. Тогда добъем задачу(около 16 00 по Москве, 15 00 по Киеву),если ктото другой не поможет вам раньше

[IskanderLocator]

sanasana тьфу ты нет конечно это Вторая Аксиома


Глазки закрываются

[sanasana]

хорошо!!!)))
Спасибо за помощь!!!

[IskanderLocator]

sanasana все что писалось мной рагньше оказалось немного ошибочным.


После преобразований выходит A->((B -> C)-> ├A -> (├B -> C))
и мне не нравится условие. Ибо в теорий Л выходит что в гиппотезах есть и А и ├А.