необходимые yсловия pелигии

[Warrax]

Hello Muxa!

А из них ничто не отрицание. Hу, блин, я еще программеру буду
объяснять, что такое логическое отрицание...

M> вообще то.. они оба отрицания...и контрарное..и контрадикторное к
M> "А"... оба будут "не_А"... а это как раз и есть "отрицание"....

Мда. Теперь буду знать. А то я, наивный, все время думал, что отрицание -
это логическая операция, заключающаяся в инвертировании значения высказывания.
Hо это я учебники по логике читал, а надо было, оказывается, Ожегова.
Все, сел медитировать над темой "как приравнять _отношения_ (контрарность и
контрадикторность) к _операции_ (отрицание)". Мне это кажется верхом идиотизма
и некомпетентности в логике - смешение понятий, имеющих разные области
опредления, - но Ожегов же не может быть не прав!

M> и если уж говорить о програмерском (а куда уж более близко к логике
M> :))) то "отрицание" и есть "непринятие".... и обозначается оно кстати
M> очень символично "!="

Ага, во всех языках программирования. Буду знать.
Hу и операнд "непринятие" в программировании я оставляю без комментариев.

WBR, Warrax
... А у вас модем ночью не храпит?

[Ariokh]

Welcome to Darkness, Muxa.

15 Jul 03, Muxa -> Warrax:

M> вообще то.. они оба отрицания...и контрарное..и контрадикторное к
M> "А"... оба будут "не_А"... а это как раз и есть "отрицание"....
M> и если уж говорить о програмерском (а куда уж более близко к логике
M> :))) то "отрицание" и есть "непринятие".... и обозначается оно кстати
M> очень символично "!="

Поясняю как программер программеру:
котрадикторность - выбор из множества мощностью два (кажется), т.е.
двухэлементного. Пример тип Boolean = (False, True). Если не True, то False.

контрарность - выбор из множества большей мощности, трех и более элементного.
Пример тип Byte = (0..255). Если не 0, то совершенно не значит, что 255.

... Христианство и алкоголь - два великих средства разложения. (Ф.Hицше)