Форальная теория L1

Lifastyle · Сообщение **Lifastyle** » 08 апр 2010, 20:38

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

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

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

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

Ian · Сообщение **Ian** » 08 апр 2010, 21:04

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

Lifastyle · Сообщение **Lifastyle** » 08 апр 2010, 21:24

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

ALEX165 · Сообщение **ALEX165** » 09 апр 2010, 07:08

Lifastyle писал(а):Source of the post
2) -|A \/ (-|B \/ -|C \/ A \/ (B\/c))

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

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

fir-tree · Сообщение **fir-tree** » 09 апр 2010, 08:18

He в латексe, a в латехе. Слово $\TeX$ записано греческими буквами.

ALEX165 · Сообщение **ALEX165** » 09 апр 2010, 08:36

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

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

SiO2 · Сообщение **SiO2** » 09 апр 2010, 09:17

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

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

fir-tree · Сообщение **fir-tree** » 09 апр 2010, 10:54

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

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

yourdomain.com