GotAI.NET

Форум: Проблемы искусственного интеллекта

 

Регистрация | Вход

 Все темы | Новая тема Стр.1 (3)След. > >>   Поиск:  
 Автор Тема: Троичная логика…
гость
188.162.143.*
Троичная логика…
Добавлено: 21 июн 18 12:25
Пусть существует три состояния:

ложь - 0
отрицание - not
истина - 1

Тогда:

отрицание лжи - есть отрицание: not 0 = not

отрицание отрицания - есть ложь: not not = 0

вечное отрицание лжи - есть истина: ...not not not 0 = 1

[Ответ][Цитата]
гость
188.162.143.*
На: Троичная логика…
Добавлено: 21 июн 18 13:02
[Ответ][Цитата]
kondrat
Сообщений: 4026
На: Троичная логика…
Добавлено: 22 июн 18 6:56
Почитайте, может, понравится:
http://gotai.net/forum/default.aspx?postid=5870#5870
[Ответ][Цитата]
гость
188.162.166.*
На: Троичная логика…
Добавлено: 22 июн 18 7:08
Цитата:
Автор: kondrat

Почитайте, может, понравится:
http://gotai.net/forum/default.aspx?postid=5870#5870


спасибо, почитаю как будет свободное время…
[Ответ][Цитата]
kondrat
Сообщений: 4026
На: Троичная логика…
Добавлено: 22 июн 18 7:10
Только могу уточнить, что необходимым и достаточным компаньоном логического инвертора является его таблица истинности. Причём, источниками (основаниями, в динамике) и необходимости, и достаточности являются отнюдь не столбцы этой таблицы или название "логический инвертор".
[Ответ][Цитата]
гость
93.174.93.*
На: Троичная логика…
Добавлено: 22 июн 18 8:01
Цитата:
Автор: гость

Пусть существует три состояния:

ложь - 0
отрицание - not
истина - 1

Тогда:

отрицание лжи - есть отрицание: not 0 = not

отрицание отрицания - есть ложь: not not = 0

вечное отрицание лжи - есть истина: ...not not not 0 = 1

Консвтантин Вишневский, ты - супер!
[Ответ][Цитата]
kondrat
Сообщений: 4026
На: Троичная логика…
Добавлено: 22 июн 18 8:16
Изменено: 22 июн 18 8:18
Цитата:
Автор: гость

Консвтантин Вишневский, ты - супер!

Лучший камент, но мой, всё равно, - первый после супера.
[Ответ][Цитата]
kondrat
Сообщений: 4026
На: Троичная логика…
Добавлено: 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 просто новые обозначения для этих очень мутных слов, то такой формализм сильно сужает возможности, нужно указать с какой целью, где это полезно.
[Ответ][Цитата]
гость
188.170.82.*
На: Троичная логика…
Добавлено: 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.

при четнократной итерации отрицания лжи получается ложь, а при нечетнократной - отрицание.

переход к трансфинитной итерации неоднозначен - либо оставить неопределенное значение, либо положить принудительно (трансфинитной аксиомой) значение истины. Или принять что в трансфинитной случае истина это колебание между ложью и отрицанием..
[Ответ][Цитата]
гость
46.246.1.*
На: Троичная логика…
Добавлено: 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.

при четнократной итерации отрицания лжи получается ложь, а при нечетнократной - отрицание.

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


Молодец Е.В.А, правильных ход мыслей…
[Ответ][Цитата]
kondrat
Сообщений: 4026
На: Троичная логика…
Добавлено: 03 июл 18 1:37
Цитата:
Автор: NO.
Интересно. Но нужно все варианты расписать. И уточнить что такое "истина" и "ложь". Если 0 и 1 просто новые обозначения для этих очень мутных слов, то такой формализм сильно сужает возможности, нужно указать с какой целью, где это полезно.

Однозначно!
А ещё надо перестать путать инструмент с процессом его использования.
Автор внушает слабую надежду, что понимает, когда удобно использовать троичный набор логических констант.
[Ответ][Цитата]
NO.
Сообщений: 10700
На: Троичная логика…
Добавлено: 03 июл 18 1:50
Вам учиться уже поздно?
[Ответ][Цитата]
kondrat
Сообщений: 4026
На: Троичная логика…
Добавлено: 03 июл 18 2:01
У Вас есть чему меня научить?
[Ответ][Цитата]
NO.
Сообщений: 10700
На: Троичная логика…
Добавлено: 03 июл 18 2:11
есть, и даже у Константина есть, и мы уже об этом говорили,
только Вам похуй, так что придется Вас чморить и гнобить до скончания веков
[Ответ][Цитата]
 Стр.1 (3): [1]  2  3След. > >>