KWAKS писал(а):
потрудились бы основания математики вспомнить,
да хоть кой-какие элементы Теории Вывода.
А ведь я просил Вас внимательно ознакомиться с тем, что я Вам сообщаю.
«Выражение f(х) означает ВЕРОЯТНОСТЬ удовлетворения х некоему заданному наперёд условию». При этом х остаётся высказыванием с классическим свойством быть либо истинным, либо ложным, как и утверждает KWAKS.
Что и требовалось доказать !
Вычисление ВЕРОЯТНОСТИ наступления события -
процедура сугубо математическая,а поэтому :
попросту
ОБ-ЯБЯБЯБ-ЗАНА базироваться на бинарной логике
(как и любая другая процедура,претендующая на научность).
А тО, что какой-то дУУрик тявкнул "эн-значная логика"
(рассматривая при этом «Выражение f(х) означает ВЕРОЯТНОСТЬ
удовлетворения х некоему заданному наперёд условию». ),
и эта фААнька понеслась "носиться" по миру,то *это тык скзЭть* -
издержки его "воспитания"(и научного и даже бытового) ..
И - НИЧЕГО БОЛЬШЕ ! ! !
KWAKS писал(а):
В крайних случаях, когда ...
а внутри интрервала Вам неП припЭр-дёЦЦа ..
ПО КАЖДОМУ Участочку во ПООТ-ДЕЛЬНОСТИ принимать Решение :
*ложное, или истинное высказывания* ? ? ?
Дедушка Леший писал(а):
Всякое высказывание, как неоднасотнякратно говорил Квакс, ЛИБО ИСТИННОЕ ЛИБО ЛОЖНОЕ. И третьего не дано. А любое высказывание любой многозначной логики можно записать в терминах логики классической.
А теперь наберитесь терпения и постарайтесь внимательно отнестись к тому, что я вам сообщу. Во первых, вероятностная логика не множественная, а однозначная, т. е. на выходе присутствует всегда только одно значение (хотя с более широкой областью значений, чем только 1, или только 0).
аэ-то .. ка-акЭто .. ка-акЭто ? ? ?
"однозначная, т. е. на выходе .. одно значение (хотя с более широкой областью ..) ?
Ув. burbaky !
Наконец-то "наберитесь терпения и постарайтесь .."
отличать Вычислительную Процедуру в математике от Процедуры Логической ..
(установления Истинности Каждого Высказывания В ЛЮБОЙ Дисциплине,
без которой НИ ОДНО Выражение НИ В КАКОЙ "науке"
НЕ МОЖЕТ БЫТЬ действительно научным).
Во вторых, вы в упор не обращаете внимания на одно небольшое условие, участвующее при формулировании вероятностной логики, благодаря которому появляется, собственно, вероятность. Осмелюсь выделить его.
«Выражение f(х) означает ВЕРОЯТНОСТЬ удовлетворения х некоему заданному наперёд условию». При этом х остаётся высказыванием с классическим свойством быть либо истинным, либо ложным, как и утверждает KWAKS.
Позвольте же ,ув. burbaky ,
проявить взаимную "вежливость" и обратить вААшу *внимания* -
"на одно небольшое условие" : ЛЮБАЯ КОМПОЗИЦИЯ // f(х)// высказываниЙ -
принимает значение "быть либо истинным, либо ложным",
НО НИКОГДА НЕ "с более широкой областью значений, чем только 1, или только 0".
А теперь, чтобы высветить все тёмные углы создавшейся ситуации, я разложу по полочкам параллельно свойства f1(х), как бинарную логику, и f2(х), как вероятностную логику.
Позвольте же ,ув. burbaky , ответить "взаимностью", и ......
затемнить все светлые углы *создавшейся ситуации* !
Параллельность будет состоять в том, что и для f1(х), и для f2(х) область высказываний в обоих случаях выбираем одну и ту же. Она состоит из конечного числа высказываний.
область высказываний -
выбирайте себе любую, хоть *ат винтА* ...
на скорость ветра в Антарктиде - это никак не повлияет.
Пта-та-мУУ-шшО(см. выше) : КАЖДОЕ высказывание -
ОБ-ЯБЯБЯБ-ЗАНО "быть либо истинным, либо ложным" ! ! !Областью возможных значений для f1 являются два значения 0 и 1. Областью возможных значений для f2 является сегмент [0,1].
и опять : тЫЫцЬ - пз**дЫцЬ , бабын грыць"!
(и опять см. выше : "наберитесь терпения и постарайтесь .."
отличать Вычислительную Процедуру в математике от Процедуры Логической ..).
Чтобы упредить возможные экивоки в сторону двоичного разложения действительных чисел, сразу их и разложим. Каждому значению из [0,1] соответствует спектр нулей и единиц. Таким образом, областью значений f1 являются два значения 0 и 1. Областью значений f2 является множество спектров из нулей и единиц. Мощность этого множества равна континууму.
и это ж нААда было ? *огород городИИть* !
Эт-то ЖЖ и требовалось доказать :
Дедушка Леший писал(а): Всякое высказывание, как неод-насотня-кратно говорил Квакс, ЛИБО ИСТИННОЕ ЛИБО ЛОЖНОЕ. И третьего не дано. А любое высказывание любой многозначной логики можно записать в терминах логики классической.
