Поскольку я сегодня "заделался "формалистом"" - позвольте мне не только поднять тему http://www.gambler.ru/forum/index.php?showtopic=455098 (суть темы тут:
"О КАКОЙ ЗАНУДНО-ТОШНОТВОРНОЙ СКУКЕ НАПИСАНЫ ПОСЛЕДНИЕ 50 (пятьдесят) Сообщений. - О челочных устремлениях мелкобуржуазного класса как цели Жизни, считай!

Да наплюйте, Админы, этот ФОРУМ,- и разотрите его тогда !!!!

Нет чтоб написать о ДОЛГОЖДАННОМ ШИФРОВАНИИ ПОЛНОГО ТРАФФИКА,- к примеру... Об возможности раз в год поиграть в казино как обладателю сервисов с несгораемой суммой в 50 рублей на 12 раз? Об идее = сыграть партию лично с Админами в Преферанс - а не только в парный белот, где их видно было обычно чаще всего? Об возможности звучания музыкальной мелодии при начале игры с допсервисником?

Да многое о чём?

Это сообщение отредактировал Хуан - "28/".$m["июн"]."/2005," 07:05"

,- но и спросить = ВСЕХ Спросить - в чём Цель объединения? Людей? на основе и остове Игрового клуба?

Направление Клубного форума = по-моему = Стратегия объединения порядочных людей в рамках понимания ими моральных правил поведения в Обществе.

Цель Клубного форума = тактика развития = тут много возможностей - от административных до дружески-увещевательных.

Задачи клубного форума = конкретные идеи Членов Клуба.

Это сообщение отредактировал Хуан - 28/06/2005, 10:40

Пункт 1.

У Хуана есть мнение и он с ним согласен, но не полностью...

--------------------

"Одни боялись Пью, другие - Билли Бонса, а меня боялся сам Флинт!"

))))))))))

1. ((Я) = Есть) = высказывание истинно по матлогике.
2. ((Согласие) есть форма общественного мнения) = высказывание истинно по матлогике.
3. ((Мнение) есть вариант (Согласие) = высказывание истинно по матлогике.
4. ((Хуан) есть вариант правила(Иметь)) = высказывание истинно по матлогике.
5. ((Хуан)=я) высказывание истинно по матлогике.
6. ((Хуан) есть вариант правила (Согласия)) = высказывание истинно по матлогике.
7. ((Хуан) есть вариант правила (Мнение)) = высказывание истинно по матлогике.
8. ((Хуан) есть вариант правила (Согласие)) = высказывание истинно по матлогике.
9. ((Хуан) есть вариант отрицания правила (Согласие)) = высказывание истинно по матлогике.
10. Высказывание ((У Хуана есть мнение), (запятая есть логическое "и" (он с ним согласен)) = высказывание истинно по матлогике.
11. Высказывание ((У Хуана есть мнение), (запятая есть логическое "и" (он с ним не согласен)) = высказывание истинно по матлогике.
12. Высказывание (((У Хуана есть мнение), (запятая есть логическое "и" (он с ним не согласен)), (запятая есть логическое "и" (но не полностью... )) = высказывание истинно по матлогике.
13. Высказывание (((У Хуана есть мнение), (запятая есть логическое "и" (он с ним не согласен)), (запятая есть логическое "и" (но полностью... )) = высказывание истинно по матлогике.
14. Высказывание (((У Хуана есть мнение), (запятая есть логическое "и" (он с ним не согласен)), (запятая есть логическое "и" (но не полностью... )) = высказывание истинно по матлогике.

И так далее...

Это сообщение отредактировал Хуан - 1/07/2005, 21:33

01. ((Я) = Есть) = высказывание истинно по матлогике.
02. ((Согласие) есть вариант (Общественное мнение)) = высказывание истинно по матлогике.
03. ((Мнение) есть вариант (Согласие) = высказывание истинно по матлогике.
04. ((Хуан) есть вариант правила(Иметь)) = высказывание истинно по матлогике.
05. ((Хуан)=я) высказывание истинно по матлогике.
06. ((Хуан) есть вариант правила (Согласие)) = высказывание истинно по матлогике.
07. ((Хуан) есть вариант правила (Мнение)) = высказывание истинно по матлогике.
08. ((Хуан) есть вариант отрицания правила (Согласие)) = высказывание истинно по матлогике.
09. Высказывание ((У Хуана есть мнение), (запятая есть логическое "и") (он с ним согласен)) = высказывание истинно по матлогике.
10. Высказывание ((У Хуана есть мнение), (запятая есть логическое "и") (он с ним не согласен)) = высказывание истинно по матлогике.
11. Высказывание (((У Хуана есть мнение), (запятая есть логическое "и") (он с ним не согласен)), (запятая есть логическое "и") (но не полностью... )) = высказывание истинно по матлогике.
12. Высказывание (((У Хуана есть мнение), (запятая есть логическое "и") (он с ним не согласен)), (запятая есть логическое "и") (но полностью... )) = высказывание истинно по матлогике.
13. Высказывание (((У Хуана есть мнение), (запятая есть логическое "и") (он с ним не согласен)), (запятая есть логическое "и") (но не полностью... )) = высказывание истинно по матлогике.

И так далее...

Это сообщение отредактировал Хуан - 1/07/2005, 21:49

P.S. Я не уточняю тут систему Аксиом и Правил вывода = иначе "гуманитарии" сойдут с ума).

P.P.S. Мне лень было расписывать пункты, начиная 10 = по 1 странице на каждый, и доказывать правилом вывода каждое утверждение, например, по системе Мендельсона с 5 аксиомами и 1 правилом вывода.

P.P.S. А хорошо я поиздевался над игроком 'Shrike' с точки зрения его-же орудия - излюбленным ИМ Математической логики...

Вань, не знаю, чем матлогика отличается от логики, преподаваемой на юрфаке, но если ничем - то вывод неверный. Ибо противоречит закону отрицания отрицания. Два противоречащих друг другу логических выражения не могут быть истинными. Как мне кааатся