>< — @дневники: асоциальная сеть

вторник, 20 января 2009

17:26

>

.eating rolls

Эм и Эш.

Доказательство от противного тоже можно рассматривать как разделительные с двумя членами строгой дизъюнкции (логический эквивалент союза «или»; операция формализующая основные логические свойства этого союза): тезис и антитезис не могут быть ни вместе истинными, ни вместе ложными.

Я это прочитать-то боюсь...

URL

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

Это я http://www.dirty.ru/users/777 Current music: ... Самое странное - чувствовать себя виноватым, не понимая в... http://www.d-kitchen.com/ Current music: Никольский,...

Комментарии

20.01.2009 в 17:37

Аланка

не огорчайтесь, что я вам чужая. Я и себе не очень то родня...

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

URL

20.01.2009 в 17:39

.eating rolls

Эм и Эш.

*Положил руку на плечо*. Аланка, что Вы сейчас сказали?..=)))

URL

20.01.2009 в 17:42

Аланка

не огорчайтесь, что я вам чужая. Я и себе не очень то родня...

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

URL

20.01.2009 в 17:45

.eating rolls

Эм и Эш.

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

URL