Добрый день! Мне кажется, что модератор не засчитывает мне верный ответ (указан целиком в сообщении, опубликованном 2013-10-12 07:10:22). В верности ответа уверен абсолютно, с модератором объясниться возможности не вижу. Хочу попросить вашего вмешательства в наш конфликт. Спасибо.

MaxSimka, здравствуйте.

Сформулируйте подробнее свой ответ.
В нем не понятны обозначения и откуда следуют приведенные Вами "формулы".
Поймите, что если кто-то из модераторов не поймет Ваш ответ, то будет просто вынужден сказать, что засчитывать нельзя - оснований для зачета недостаточно.

Эти формулы выводятся в теории математической логики и являются частью мат.аппарата. Обсуждать их корректность - это все равно, что обсуждать корректность, ну например, формулы sin^2(x)+cos^2(x)=1. Не ждете же вы от меня больших выкладок с доказательством теории? А посылки всего две - одна из условия, вторая - из геометрии, тоже известный факт. Я искренне не понимаю, как можно расписать еще подробней.

Еще раз:
Я предлагаю Вам описать обозначения, такие как -> и ^. И написать откуда следуют формулы:
"B->D.
D->C.", так как лично мне они далеко не очевидны.

Вы можете отказаться от этого предложения. Тогда я вынесу на голосование текущий Ваш ответ.

Корректность того что Вы написали никто обсуждать не будет. Просто выскажут свое мнение насчет того достаточно ли доказательств того, что Вы поняли задачу и засчитывать ли Вам ее.


Выносить на голосование то, что есть?

"->" - это импликация, "^" - конъюнкция. Они очевидны тому, кто знаком с мат.логикой. В конце концов, это математическое задание, и его решение записано на языке математики. Изменять не буду, выносите на голосование.

Я вынес на голосование.
Через неделю сообщу результат. (Если забуду - напомните, пожалуйста).

Спасибо.

MaxSimka, все из 6ти принявших участие в голосовании модераторов считают, что задачу Вы решили неверно.