Re: Со структурой все в порядке

[identity profile] insead-hec.livejournal.com 2008-10-04 05:54 pm (UTC)(link)
Что-то моя неудачная шутка завела нас в какие-то дебри. Попробую еще раз, если опять не получится, то брошу это дело.

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

Для того чтобы (А и Б) было истинно, нужно выполнение и А и Б одновременно. Для того, чтобы отрицание (А и Б) было истинно, достаточно чтобы истинным было отрицание только одного условия.
(Если интересно, посмотрите в статье "Алгебра логики" (http://ru.wikipedia.org/wiki/%D0%90%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0_%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B8) так называемый "закон Де Моргана" - НЕ (А и Б) = (НЕ А) ИЛИ (НЕ Б))

Задача: Даны 2 утверждения
Утверждение 1: Больше не существует ("Доминирующая экономика" и "доминирующая валюта")
Утверждение 2: "Доминирующая экономика" существует.

Вопрос: противоречат ли эти два утверждения президента друг другу?

Ответ: Нет, не противоречат.

Решение:
Утверждение 1 эквивалентно утверждению
(Больше не существует доминирующая экономика) или (больше не существует доминирующая валюта)

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

Re: Со структурой все в порядке

[identity profile] http://users.livejournal.com/vba_/ 2008-10-04 10:01 pm (UTC)(link)
Я в ближайшее время займусь законом Де Моргана.