Страницы: 1 2 [3] 4 5   Вниз

Автор Тема: Ограничена ли бинарная логика?  (Прочитано 20730 раз)

0 Пользователей и 1 Гость просматривают эту тему.

Оффлайн KWAKS

  • Почётный Афтар
  • *******
  • Сообщений: 9 592
  • Репутация: +1/-1
(Нет темы)
« Ответ #20 : 18 Декабрь, 2006, 13:38:14 pm »
Цитата: "Дедушка Леший"
Цитата: "KWAKS"
А какими средствами Клини обеспечивает изоморфность -
между объектным языком и метаязыком ?
Клини в своей Математической Логике про изоморфность вроде не упоминает.
А зря-АААА !
Отсюда(из неупоминания,более того - непонимания изоморфности) -
и выползают ВСЕ проблемы Адекватности,в любой области Деятельности.

За примером и бежать далеко не придётся :
Цитата: "Дедушка Леший"
Цитата: "SneakSnake"
Цитата: "SneakSnake"
Цитата: "KWAKS"
где не изоморфность ?
Взаимно-однозначное соответствие между :
колич. орехов на столе и колич.арифм. чёрточек на бумаге ?
Не там...
Цитата: "KWAKS"
И к чему "это" пришить ?

К тому, что это не изоморфизм. В изоморфизме отношение 1 к 1, а тут - 1 к N. Одно true, N истинных высказываний.
Да нет, в процедуре счета это изоморфизм: каждому ореху соответсвует одна черточка и наоборот.
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от KWAKS »
Записан
Заранее благодарен = [ KWAKS ]
______________________________
КWА-ффэсор тИнно-болотнУтого Ничего Не ИследУюшшего И-а.

Оффлайн SneakSnake

  • Афтар
  • ***
  • Сообщений: 138
  • Репутация: +0/-0
(Нет темы)
« Ответ #21 : 18 Декабрь, 2006, 18:22:15 pm »
Немного на тему.
Под бнарной логикой на этом форуме подразумевают явно булеву алгебру (всяких двузначных логик много).

Булева алгебра, как и любая другая алгебра, содержит набор аксиом. Если эти аксиомы применими в данной конкретной области, то булева алгебра работает, иначе - нет.

Например, если высказывание помимо истинного и ложного может быть еще каким-нибудь, то булева алгебра не работает. Если не может, или если может, но этой возможностью мы пренебрегаем, тогда надо смотреть остальные аксиомы. И т.п.
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от SneakSnake »
Записан

Оффлайн KWAKS

  • Почётный Афтар
  • *******
  • Сообщений: 9 592
  • Репутация: +1/-1
(Нет темы)
« Ответ #22 : 18 Декабрь, 2006, 18:38:01 pm »
Цитата: "SneakSnake"
Немного на тему..
Под бнарной логикой на этом форуме подразумевают явно булеву алгебру .
Вы правы ! Спасибо за уточнение.

Цитата: "SneakSnake"
(всяких двузначных логик много).
но все они *стоЯт* на булевой алгебре(хотят они того,или нет.

Цитата: "SneakSnake"
Булева алгебра, как и любая другая алгебра, содержит набор аксиом. Если эти аксиомы применими в данной конкретной области, то булева алгебра работает, иначе - нет.
А Вы нам "подскажите" ХОТЬ ОДНУ из конкретной области -
где Булева Алгебра НЕ работает.

Цитата: "SneakSnake"

Например, если высказывание помимо истинного и ложного может быть еще каким-нибудь, то булева алгебра не работает.
А Вы *в натуре* видели ХОТЬ ОДНО высказывание ,которое ..
"помимо истинного и ложного может быть еще каким-нибудь" ?

Цитата: "SneakSnake"
Если не может, или если может, но этой возможностью мы пренебрегаем, тогда надо смотреть остальные аксиомы. И т.п.
Не остальные,- а предыдущие :
"1.Начальник всегда прав.
2.если Начальник не всегда прав - см. п.1. ".
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от KWAKS »
Записан
Заранее благодарен = [ KWAKS ]
______________________________
КWА-ффэсор тИнно-болотнУтого Ничего Не ИследУюшшего И-а.

Оффлайн SneakSnake

  • Афтар
  • ***
  • Сообщений: 138
  • Репутация: +0/-0
(Нет темы)
« Ответ #23 : 18 Декабрь, 2006, 19:48:15 pm »
Цитата: "KWAKS"
но все они *стоЯт* на булевой алгебре(хотят они того,или нет.

Если поставите, то будут стоять. А пока не стоят.

Цитата: "KWAKS"
А Вы *в натуре* видели ХОТЬ ОДНО высказывание ,которое ..
"помимо истинного и ложного может быть еще каким-нибудь" ?


Видел. И тебе показывал, только ты пищал громко  :lol:
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от SneakSnake »
Записан

Оффлайн KWAKS

  • Почётный Афтар
  • *******
  • Сообщений: 9 592
  • Репутация: +1/-1
(Нет темы)
« Ответ #24 : 19 Декабрь, 2006, 16:46:19 pm »
Цитата: "SneakSnake"
Цитата: "KWAKS"
но все они *стоЯт* на булевой алгебре(хотят они того,или нет).
Если поставите, то будут стоять. А пока не стоят.
гы-ЫЫ ..
а нуУУ - хоть одну - которая "не стоят" !

Цитата: "SneakSnake"
Цитата: "KWAKS"
А Вы *в натуре* видели ХОТЬ ОДНО высказывание ,которое ..
"помимо истинного и ложного может быть еще каким-нибудь" ?
Видел. И тебе показывал, только ты пищал громко  :lol:
нуко-нуко .. подробнее !
гдЕ - "показывал" ?
гдЕ - "пищал громко" ?
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от KWAKS »
Записан
Заранее благодарен = [ KWAKS ]
______________________________
КWА-ффэсор тИнно-болотнУтого Ничего Не ИследУюшшего И-а.

Оффлайн SneakSnake

  • Афтар
  • ***
  • Сообщений: 138
  • Репутация: +0/-0
(Нет темы)
« Ответ #25 : 19 Декабрь, 2006, 16:52:42 pm »
...ля...

Определи понятие пустого множества, используя исключительно операции булевой алгебры. Вперед :)
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от SneakSnake »
Записан

Оффлайн KWAKS

  • Почётный Афтар
  • *******
  • Сообщений: 9 592
  • Репутация: +1/-1
(Нет темы)
« Ответ #26 : 19 Декабрь, 2006, 17:25:00 pm »
Цитата: "SneakSnake"
...ля...

Определи понятие пустого множества, ..:)
НИ-ЧЕ-ГО !
ОТ-СУТ-СТВ-ИЕ ЧЕ-ГО БЫ ТО НИ БЫ-ЛО !
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от KWAKS »
Записан
Заранее благодарен = [ KWAKS ]
______________________________
КWА-ффэсор тИнно-болотнУтого Ничего Не ИследУюшшего И-а.

Оффлайн Дедушка Леший

  • Афтар
  • ***
  • Сообщений: 602
  • Репутация: +0/-0
(Нет темы)
« Ответ #27 : 19 Декабрь, 2006, 18:08:52 pm »
Цитата: "SneakSnake"
...ля...

Определи понятие пустого множества, используя исключительно операции булевой алгебры. Вперед :)

А как насчет такого определения: множество с функцией принадлежности тождественно равной нулю?
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от Дедушка Леший »
Записан

Оффлайн SneakSnake

  • Афтар
  • ***
  • Сообщений: 138
  • Репутация: +0/-0
(Нет темы)
« Ответ #28 : 19 Декабрь, 2006, 18:52:48 pm »
Цитата: "KWAKS"
]НИ-ЧЕ-ГО !
ОТ-СУТ-СТВ-ИЕ ЧЕ-ГО БЫ ТО НИ БЫ-ЛО !


Это что - формула булевой алгебры такая?  :lol:
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от SneakSnake »
Записан

Оффлайн SneakSnake

  • Афтар
  • ***
  • Сообщений: 138
  • Репутация: +0/-0
(Нет темы)
« Ответ #29 : 19 Декабрь, 2006, 18:58:04 pm »
Цитата: "Дедушка Леший"
А как насчет такого определения: множество с функцией принадлежности тождественно равной нулю?


Определение правильное, но выразить разными формулами булевой алгебры я могу только ту функцию (например a & ~a, 0, ~1). А какими формулами выразить слова "множество с функцией принадлежности"? В математике это пишут значками примерно так:
{ x | false }
Но двухоперандная операция {... | ... } не входит в список операций булевой алгебры, и не выражается через них.
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от SneakSnake »
Записан
Страницы: 1 2 [3] 4 5   Вверх