Формальная логика и диалектика.

[KWAKS]

либо подтвердится,либо НЕ подтвердится,-
после наступления момента времени ,

... в двузначной логике, оказывается, помимо "true" и "false" есть также "подтвердится" и "не подтвердится"... упс, это что же, Квакс исповедует 4-значную логику, а? :lol:

каАААка тупиИИзна,однако !
две логические переменные рассматриваем в сочетании :
Событие - либо Да,либо Нет.
и Время - либо До,либо После.

Именно тААк и происходит в реале :
двузначную логику - реализуют через двоичную систему счисления.

школьный учебник информатики такие тонкости не освещает, и Квакс лепит от себя

каАААка тупиИИзна,однако !
неуж трудно скумекать,что KWAKS-у иш-шО кой-шО читать приходилось, кроме "школьный учебник" ? ? ?

[KWAKS]

истинность предположения : либо подтвердится,либо НЕ подтвердится,-
после наступления момента времени , относительно которого высказывалось предположение.

"... упс, это что же, Квакс исповедует 4-значную логику, а? :lol:

Возми передположение и его отрицание в качестве гипотез и построй на их базе две теории. До наступления "часа Ч" обе теории будут равноправны .:-)

Вы,как и всегда, правы,Дедушка ...
У SneakSnake - радвоение в уме произошло,..
поэтому ему и мерещится 4-значная логика, ..
вместо 2-х шагов в бинарной логике !

[KWAKS]

А насчет теории множеств - Квакс ответил исчерпывающе. Кстати, между исчислением предикатов и теории множеств ты, часом, ничего общего не заметил? Советую приглядеться.:-)

И повнимательнее приглядеться.:-)
ибо теория множеств - безошибочно оперирует множествами ЛЮБЫХ объектов !
(и множествами высказываний - в том числе).

[SneakSnake]

Возми передположение и его отрицание в качестве гипотез и построй на их базе две теории. До наступления "часа Ч" обе теории будут равноправны (если, конечно, в одной из них не будет обнаружено противоречия). Большие сомнения у меня, что введение логического значения "неопределено" дадут что либо принципиально новое. В лучшем случае, сэкономит время.

а под луной ничто не ново... 1000 мегаватт энергии можно и лошадями получить... а ГЭС и АЭС экономят время...

А насчет теории множеств - Квакс ответил исчерпывающе.

У... я даже почитал его. Подумал ух ты Квакс и вдруг ответил исчерпывающе. Лажу он ответил. На выходе у операции принадлежности {true, false}. А на входе не {true, false}.

Кстати, между исчислением предикатов и теории множеств ты, часом, ничего общего не заметил? Советую приглядеться.:-)

Принадлежность можно выразить предикатом от двух параметров, ты об этом? Тут облом. Предикат сам определяется как множество кортежей.

[SneakSnake]

неуж трудно скумекать,что KWAKS-у иш-шО кой-шО читать приходилось, кроме "школьный учебник" ? ? ?

что еще? наверное самого себя. собр. соч. форумского квакания

[Дедушка Леший]

а под луной ничто не ново... 1000 мегаватт энергии можно и лошадями получить... а ГЭС и АЭС экономят время...

Ну "ново не ново".:-D Мы  же говорим о том что нечетекая логика может  принципиально нового по сравнению бинарной.

У... я даже почитал его. Подумал ух ты Квакс и вдруг ответил исчерпывающе. Лажу он ответил. На выходе у операции принадлежности {true, false}. А на входе не {true, false}.

А ведь он ответил, вот в чем штука.

Принадлежность можно выразить предикатом от двух параметров, ты об этом? Тут облом. Предикат сам определяется как множество кортежей.

Нет, я не об этом.  А вот об чем: всякий предикат P: X->{0,1} есть решающая функция для некоторого подмножества из X.  Здесь X есть то, что в нечеткой логике величают супермножеством. Включение множества А в множество B опередляется как дизьюнкция по всем элементам x супермножества X следующим образом:
B Э A = PB(x1)->PA(x1)  И PB(x2)->PA(x2) И ... PB(xn)->PA(xn)
здесь PA - решающая функция множества A, PB - решающая функция множества B.
Квантор существования - конъюнкция всех возможных высказываний,
квантор всеобщности - дизъюнкция.

[Дедушка Леший]

Есть предложение - создать тему типа "ограничения логики" и перевести спор туды. А то страшный оффтопик пошел. :-D

[KWAKS]

KWAKS-у иш-шО кой-шО читать приходилось,  ?

. собр. соч. форумского квакания

Так я и думал(пр-дон,квакал) ......
да у Вас(друх разлюбезный) - в голове полно мыслей,как множество кортежей !
И все - не по правилам езьдзьиют ! ! !

Квакс и вдруг ответил исчерпывающе. Лажу он ответил. На выходе у операции принадлежности {true, false}. А на входе не {true, false}...

Вы мне сначала покажите - где во-ООбще :
во вселенной хоть что нибудь происходит не {true, false}... ? ? ?
а нЕЕчто Третье ! ! !

Опять пытаетесь "оп-оп-опровергнуть Закон Исключённого Третьего ?
Поздравяю ! От всей души ! ! !

Вот кто Настоящий "революционер" в Науке ! ! ! ! !
Смотрите все сюда - это SneakSnake ...
скрещённый с Ёжиком !

[KWAKS]

Есть предложение - создать тему типа "ограничения логики" и перевести спор туды. ... :-D

А чьчёй-то Вы закромничали ?
Создайте -
и ссылку дайте !

[KWAKS]

Предикат сам определяется как множество кортежей.

Квантор существования - конъюнкция всех возможных высказываний,
квантор всеобщности - дизъюнкция.

Дедушка ...
наивненький Вы .....
куд-дык ему до "всех возможных высказываний" ?
ему бы на четвереньках - да не споткнуться на ровном месте !

Необходимое пояснение :
это я к тому,что ВСЕ-Общность - заковыристая штука !
Её голыми руками не взять ! А Головой думать надобно ! ! !

Вон Вивеккк и Антирексом - далекООО НЕ Глупые Люди ...
а как доходило до рассмотрения Свойств ВСЕ-Общности -
сразу бурное торможение у людей начиналось.