"повесьте, и обязательно упомяните, что я ничего не смыслю в высшей математике"

[Твоя Эс]

Я (23:39:25 6/06/2007)

Чем докажешь?))



Граф (23:39:37 6/06/2007)

что именно?



Я (23:39:53 6/06/2007)

седину в голове!)



Граф (23:40:07 6/06/2007)

я тебе лучше беса в ребре докажу

доказательство

Граф

(23:41:21 6/06/2007)

гм. Сейчас. Это ответственный процесс. Тут надо сесть, серьезно подумать... и смех достойно удержать (с)



(23:47:44 6/06/2007)

Пусть формула G (бес в ребро) является следствием множества формул F1,...,Fk (седина в голову). Предположим, от противного, что множество L (у меня много волос) выполнимо. Это означает, что существует интерпретация j такая, что j(F1)=...=j(Fk)=j(¬G)=1. Но если j(F1)=...=j(Fk)=1, то j(G)=1, поскольку G — логическое следствие формул F1,...,Fk. Полученное противоречие j(¬G)=1 и j(G)=1 доказывает, что множество формул {F1,...,Fk, ¬G} невыполнимо.



Пусть теперь множество формул L невыполнимо (лысею). Рассмотрим интерпретацию j такую, что (F1)=...=j(Fk)=1. Поскольку L невыполнимо, то j(¬G)=0. Если j(¬G)=0, то j(G)=1. Следовательно, из равенств (F1)=...=j(Fk)=1 следует равенство j(G)=1. Это означает, что G — логическое следствие множества формул F1,...,Fk.



(23:49:19 6/06/2007)

не пытайся осилить доказательство без теоремы

теорема такова:



Формула G является логическим следствием формул F1,F2,...,Fk тогда и только тогда, когда множество формул L={F1,F2,...,Fk, ¬G} невыполнимо.

@настроение: в шоке. в восторге.

Comments

[Marrble]

*ржет* Экий сурьезный юноша!

[Твоя Эс]

Если бы юноша! Вполне взрослый, состоявшися молодой человек.

[Marrble]

Пфф! Математики остаются молодыми до конца.

[*Gerika*]

чё?

[Твоя Эс]

Marrble Смотри название поста!!!))))

*Gerika* Аналогичная реакция!)))

[Marrble]

Ну да, ну да, еще скажи, что этот твой знакомый математической логикой никогда не занимался. Не поверю.

[Габриэль]

Блин, обожаю математиков)))

Они все понимают в этих непонятных значочках!

Под новый год мне выпала честь принимать у себя в гостях в Риге друга-математика))) Это было нечто