|
|
Троичная логика…
Добавлено: 21 июн 18 12:25
|
Пусть существует три состояния:
ложь - 0 отрицание - not истина - 1
Тогда:
отрицание лжи - есть отрицание: not 0 = not
отрицание отрицания - есть ложь: not not = 0
вечное отрицание лжи - есть истина: ...not not not 0 = 1
|
|
|
| |
| |
| |
|
На: Троичная логика…
Добавлено: 22 июн 18 7:10
|
Только могу уточнить, что необходимым и достаточным компаньоном логического инвертора является его таблица истинности. Причём, источниками (основаниями, в динамике) и необходимости, и достаточности являются отнюдь не столбцы этой таблицы или название "логический инвертор".
|
|
|
|
На: Троичная логика…
Добавлено: 22 июн 18 8:01
|
Автор: гость
Пусть существует три состояния:
ложь - 0 отрицание - not истина - 1
Тогда:
отрицание лжи - есть отрицание: not 0 = not
отрицание отрицания - есть ложь: not not = 0
вечное отрицание лжи - есть истина: ...not not not 0 = 1
|
|
Консвтантин Вишневский, ты - супер!
|
|
|
|
На: Троичная логика…
Добавлено: 22 июн 18 8:16
Изменено: 22 июн 18 8:18
|
Автор: гость
Консвтантин Вишневский, ты - супер! |
|
Лучший камент, но мой, всё равно, - первый после супера.
|
|
|
|
На: Троичная логика…
Добавлено: 22 июн 18 8:18
|
Автор: kondrat
Только могу уточнить, что необходимым и достаточным компаньоном логического инвертора является его таблица истинности. Причём, источниками (основаниями, в динамике) и необходимости, и достаточности являются отнюдь не столбцы этой таблицы или название "логический инвертор". |
|
А ещё там упомянут парадокс Рассела, но нет ничего про его зеркальное дополнение.
|
|
|
NO. Сообщений: 10700 |
|
|
На: Троичная логика…
Добавлено: 22 июн 18 10:12
|
Автор: гость
Пусть существует три состояния:
ложь - 0 отрицание - not истина - 1
Тогда:
отрицание лжи - есть отрицание: not 0 = not
отрицание отрицания - есть ложь: not not = 0
вечное отрицание лжи - есть истина: ...not not not 0 = 1
|
|
Интересно. Но нужно все варианты расписать. И уточнить что такое "истина" и "ложь". Если 0 и 1 просто новые обозначения для этих очень мутных слов, то такой формализм сильно сужает возможности, нужно указать с какой целью, где это полезно.
|
|
|
|
На: Троичная логика…
Добавлено: 23 июн 18 1:18
|
есть некоторая странность - пусть 3 истинностных состояния, но нужно различать одноместный оператор отрицания not и состояние отрицания (пусть n).
тогда положено notO=n notn=notnot0=(либо0, либо1) по избранное семантике оператора в данной системе значений
пусть notn=0.
тогда notnotnot0=not(notnot0)=not(notn)=not0=n
или notnotnot0=not(not(not0))=not(notn)=not0=n.
при четнократной итерации отрицания лжи получается ложь, а при нечетнократной - отрицание.
переход к трансфинитной итерации неоднозначен - либо оставить неопределенное значение, либо положить принудительно (трансфинитной аксиомой) значение истины. Или принять что в трансфинитной случае истина это колебание между ложью и отрицанием..
|
|
|
|
На: Троичная логика…
Добавлено: 23 июн 18 1:30
|
Автор: гость
есть некоторая странность - пусть 3 истинностных состояния, но нужно различать одноместный оператор отрицания not и состояние отрицания (пусть n).
тогда положено notO=n notn=notnot0=(либо0, либо1) по избранное семантике оператора в данной системе значений
пусть notn=0.
тогда notnotnot0=not(notnot0)=not(notn)=not0=n
или notnotnot0=not(not(not0))=not(notn)=not0=n.
при четнократной итерации отрицания лжи получается ложь, а при нечетнократной - отрицание.
переход к трансфинитной итерации неоднозначен - либо оставить неопределенное значение, либо положить принудительно (трансфинитной аксиомой) значение истины. Или принять что в трансфинитной случае истина это колебание между ложью и отрицанием.. |
|
Молодец Е.В.А, правильных ход мыслей…
|
|
|
|
На: Троичная логика…
Добавлено: 03 июл 18 1:37
|
Автор: NO. Интересно. Но нужно все варианты расписать. И уточнить что такое "истина" и "ложь". Если 0 и 1 просто новые обозначения для этих очень мутных слов, то такой формализм сильно сужает возможности, нужно указать с какой целью, где это полезно. |
|
Однозначно! А ещё надо перестать путать инструмент с процессом его использования. Автор внушает слабую надежду, что понимает, когда удобно использовать троичный набор логических констант.
|
|
|
NO. Сообщений: 10700 |
|
| |
| |
NO. Сообщений: 10700 |
|
|
На: Троичная логика…
Добавлено: 03 июл 18 2:11
|
есть, и даже у Константина есть, и мы уже об этом говорили, только Вам похуй, так что придется Вас чморить и гнобить до скончания веков
|
|
|
|