Мат.Логика - 2Секвенции [нид хелп..]

[Mr)Wr@1thI2007I]

Я конечно почти уверен что не найду здесь ответа, но

Нужно срочно сделать 2 секвенции...нид хелп -__-

1) Ф1, г(Ф1vФ2) |- Ф3

2) г(Ф2^Ф3) |- ((Ф2->x) v (Ф3 ->x))

^ = дизъюнкция (ИЛИ)
v = конъюнкция (И)
г = не (НЕг)
|- = логическое следование (T)

Буду очень признателен за помощь...пиво гарантируется.. -__-

[Lynx]

У меня друг, если не забыл и эти сиквенции не очень сложные, возможно сможет сделать.
Только делает он за деньги, а уж что на них пить ему решать)
Если хочешь я ему по аське отошлю, если ему вломы не будет, то он скажет почем их не будет ему вломы делать)

[Mr)Wr@1thI2007I]

ладно, узнай плиз цены, и када сможет сделать..желательно быстрее..

[MaveRick]

Ты случайно не в политехе учишся, и не Луиных ли ведет этот аццкий предмет?))

[Mr)Wr@1thI2007I]

Случайно - да)
А ты тоже у него учился? )

[Lynx]

кто знает что такое сиквенция в мат.логике - значит учился у Лукиных, к гадалке не ходи
нормальному человеку такую хрень покажи... :insane:

[MaveRick]

Да, учился у него, цените этого чувака это все халява, потом вам наступит такая жопа.......У меня в группе парнишка нам всем сделал эти хрени)