Логические связки (соединения)

Нечеткая логика

Логика начиналась с изучения естественного языка с точки зрения аргументов и убеждений и могла быть использована для суждения о корректности цепи высказываний, например в математических доказательствах. Заметим, что высказывание - мысль, выраженная повествовательным предложением и являющаяся истинной или ложной, а истина - адекватное отображение предметов и явлений познающим субъектом. В двухзначной (точной) логике высказывание является верным (истинным) или неверным (ложным), но не тем и другим. «Истина» или «ложь», приписываемые высказыванию, называются истинностными значениями (значениями истинности). В нечеткой логике нечеткое высказывание может быть верным или неверным или иметь промежуточные истинностные значения, например, может быть верно. Высказывание уровень высокий является примером такого высказывания в нечетком контроллере. По-видимому, удобно ограничить возможные истинностные значения в дискретной области, скажем значениями {0 0,5 1} для ложно, может быть верно, верно. В таком случае мы будем иметь дело с многозначной логикой, в данном случае, с трехзначной логикой. На практике разделение единичного интервала на меньшие части может быть более подходящим. При этом интервал {0 1} включает множество значений истинности нечетких высказываний.

Изначально Задэ интерпретировал значение истинности в нечеткой логике, например, Очень точно, как нечеткое множество. Таким образом, Задэ заложил в основание нечеткой (лингвистической) логики трактовку Истины как лингвистической переменной, значениями которой являются скорее слова или высказывания, чем числа.

В ежедневных разговорах и в логике фразы (высказывания) связывают с помощью слов не, и, или, если - то (или импликация) и если и только если. Эти слова называют связками. Высказывание, которое модифицируется с помощью слова «не», называется отрицанием исходного высказывания. Слово «и» используется, чтобы объединить два высказывания в форме конъюнкции (от conjunction - союз, связь) двух высказываний. Аналогично высказывание, которое образовано путем соединения двух высказываний с помощью слова «или», называется дизъюнкцией (от disjunction − разобщение) двух высказываний. Из двух высказываний мы можем построить некое высказывание с помощью формы «Если…то…»; последнее называют условным высказыванием (предложением). Высказывание, стоящее за словом «Если», называется антецедентом (предпосылкой), а высказывание, следующее за словом «то», называют консеквентом (следствием) или заключением. Таким образом, антецендент является первой частью условного высказывания (предложения), а консеквент – второй частью этого условного высказывания. Другие идиомы (словосочетания), которые мы будем считать, имеющими то же самое значение (тот же самый смысл), что «если p, то q» (где p и q есть высказывания), звучат как «p влечет за собой q», «p только, если q»,

«q, если p» и т.п. Слова «если и только если» (или эквивалентность) используются, чтобы из двух высказываний образовать двухусловное высказывание, которое принимает значение истина в случае истинности обоих высказываний одновременно и значение ложь в остальных случаях. Надо сказать, что операция, называемая импликацией высказываний (от implico – тесно связываю), в общем случае отличается от базового правила (правила продукции) Если A, то B. Действительно, логическая импликация высказываний не заключает в себе никакой причины, никакой временной или иной взаимосвязи между предпосылкой и следствием.

Путем введения букв и специальных символов структура связок может быть показана красноречивым образом. Наш выбор символов имеет такой вид

для «не»

для «и»

для «или»

для «если-то»

для «если и только если»

В нечеткой логике расширения «не», «и» и «или» также называют нечетким отрицанием, T-нормой и S-нормой соответственно.