metaclass: (Default)
metaclass ([personal profile] metaclass) wrote2012-01-28 12:16 pm

Боюсь


Боитесь ли вы зубастого червя-скрипта так, как это делаю я?
Я скрипты включаю только на известных сайтах и только на время, ибо паранойя.

[identity profile] guamoka.livejournal.com 2012-01-28 10:48 am (UTC)(link)
Зачем сводить жЫзнь к частностям?

[identity profile] nicka-startcev.livejournal.com 2012-01-28 11:01 am (UTC)(link)
При чем здесь частности?
Берем ваше высказывание "люди без виндовза -> сумасшедшие", применяем к нему логическую инверсию (если из А следует Б, то из отрицания Б следует отрицание А), получаем другое высказывание. Если ваше исходное верно, то верен и результат инверсии. Результат инверсии "несумасшедший -> имеет виндовз".

[identity profile] guamoka.livejournal.com 2012-01-28 11:06 am (UTC)(link)
Двойка вам по логике.

[identity profile] yantayga.livejournal.com 2012-01-28 11:11 am (UTC)(link)
Аргументируйте. Я серьезных ошибок в рассуждении не вижу.

[identity profile] guamoka.livejournal.com 2012-01-28 11:15 am (UTC)(link)
Я серьезных ошибок в рассуждении не вижу.

Скажите, как я могу это опровергнуть. А главное, зачем?

[identity profile] yantayga.livejournal.com 2012-01-28 12:46 pm (UTC)(link)
Как - указать где ошибка. Зачем - не знаю, зачем то вы здесь общаетесь.

[identity profile] guamoka.livejournal.com 2012-01-28 12:52 pm (UTC)(link)
Я пишу для личного удовольствия. Указывать на азбучные заблуждения, описываемые в курсе формальной логике, людям, которые берутся давать советы космического масштаба, я лично никакого удовольствия не вижу:-)

[identity profile] yantayga.livejournal.com 2012-01-28 01:51 pm (UTC)(link)
Так и запишем - "слился, русский язык знает плохо" :)
Edited 2012-01-28 13:51 (UTC)

[identity profile] guamoka.livejournal.com 2012-01-28 01:58 pm (UTC)(link)
Ну, если это потешит ваш ЧВС, то зарадибога:-)

[identity profile] yantayga.livejournal.com 2012-01-28 02:05 pm (UTC)(link)
Конечно, а еще зачем мы все здесь сегодня собрались!

[identity profile] thedeemon.livejournal.com 2012-01-28 01:01 pm (UTC)(link)
В школу стоило все же ходить иногда.
http://metaclass.livejournal.com/658110.html?thread=10993854#t10993854

[identity profile] thedeemon.livejournal.com 2012-01-28 01:18 pm (UTC)(link)
Наврал я, в булевой логике все сходится.

[identity profile] nicka-startcev.livejournal.com 2012-01-28 11:11 am (UTC)(link)
Вы таки можете опровергнуть утверждение
"если из А следует Б, то из отрицания Б следует отрицание А"?

[identity profile] nicka-startcev.livejournal.com 2012-01-28 11:16 am (UTC)(link)
Опровергайте. Буля с де Морганом вам в помощь.

[identity profile] guamoka.livejournal.com 2012-01-28 11:20 am (UTC)(link)
Я разговариваю с человеком, который видимо проспал курс формальной логики в 1ом семестре, а мудрости потом добирался на дискретной математике. Но поезд уже ушел:-)

[identity profile] nicka-startcev.livejournal.com 2012-01-28 11:34 am (UTC)(link)
В смысле, вы сами с собой разговариваете?

[identity profile] guamoka.livejournal.com 2012-01-28 11:38 am (UTC)(link)
Знаете, бесплатное образование у нас предоставляет только государство.

(no subject)

[identity profile] guamoka.livejournal.com - 2012-01-28 12:58 (UTC) - Expand

(no subject)

[identity profile] guamoka.livejournal.com - 2012-01-28 13:18 (UTC) - Expand

[identity profile] devnu11.livejournal.com 2012-01-29 10:19 am (UTC)(link)
из того, что гуамока иблан следует то, что он не знает логику. Из того, что он логику знает, вовсе не следует то, что он не иплан

[identity profile] nicka-startcev.livejournal.com 2012-01-29 10:46 am (UTC)(link)
из того, что гуамока иблан следует то, что он не знает логику.

да.

Из того, что он логику знает, вовсе не следует то, что он не иплан.

следует, если знание логики достаточный критерий не-ибланизма, а незнание необходимый ибланизма.

[identity profile] trueblacker.livejournal.com 2012-01-28 12:17 pm (UTC)(link)
>Берем ваше высказывание "люди без виндовза -> сумасшедшие"

где ж вы его видите?

[identity profile] thedeemon.livejournal.com 2012-01-28 12:58 pm (UTC)(link)
Если речь о булевой логике, то нарисуйте табличку просто:
a b (a=>b)  !b !a  (!b => !a)
0 0   1      1  1   1
0 1   1      0  1   1
1 0   0      1  0   0
1 1   1      0  0   0

Из нее сразу видно, что для a=b=true верно a=>b, но не верно !b => !a, т.е. ваша формула неверна. В небулевой логике это еще очевиднее.

[identity profile] nicka-startcev.livejournal.com 2012-01-28 01:07 pm (UTC)(link)
У вас в табличке очепятка как минимум в одной строчке.
Операция "=>" у вас почему-то дает то две то три единички из 4 вариантов.

[identity profile] thedeemon.livejournal.com 2012-01-28 01:15 pm (UTC)(link)
А, да, в последней строчке ошипся.

[identity profile] nivanych.livejournal.com 2012-01-29 10:28 am (UTC)(link)
> В небулевой логике это еще очевиднее

Там даже таблички не надо!