yourdomain.com

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

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

Мои идеи:
A-> (-|B \/ -|C \/ A \/ (B\/c))
Так?
Что можно сделать дальше?

Буду благодарна любой помощи!!!

(-|B -> C-> A\/(B\/C))
Мне как-то странно,что в этой паре импликаций не поставлены скобки. Двусмысленность?

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 писал(а):Source of the post
2) -|A \/ (-|B \/ -|C \/ A \/ (B\/c))

Как быть дальше?

A дальше - просто переставить местами: (-|A+A)+(-|B+B)+(-|C+C)
+ - дизъюнкция. Там где смайлик - B
B латехе:

fir-tree писал(а):Source of the post
He в латексe, a в латехе. Слово записано греческими буквами.

Спасибо, но на них же не написано какие они.

fir-tree писал(а):Source of the post
He в латексe, a в латехе. Слово записано греческими буквами.

Наконец-то. Теперь я знаю, почему его так по разному называют.)

ALEX165 писал(а):Source of the post Спасибо, но на них же не написано какие они.

Написано в любой литературе по этой системе.