Cтраница 3
Такое разбиение области существования функции нечетких переменных дает возможность при анализе поведения функции внутри каждого интервала использовать свойства двузначной логики. [31]
Эти обстоятельства тем более заслуживают внимания, если иметь в виду работу Поста [8], в которой была выдвинута идея сведения конечнозначных логик к двузначной логике. [32]
Эти обстоятельства тем более заслуживают внимания, если иметь в виду работу Поста [29], в которой была выдвинута идея сведения конечнозначных логик к двузначной логике. [33]
МНОГОЗНАЧНАЯ ЛОГИКА - формально-логическая система, выражения к-рой принимают в интерпретации более двух истинностных значений ( в случае только двух значений - истинно или ложно - имеет место классическая двузначная логика), а в общем случае - любое конечное или бесконечное множество значений. Первые такие системы - трехзначная логика высказываний и n - значная логика высказываний - построены Я. [34]
МНОГОЗНАЧНАЯ ЛОГИКА - формально-логическая система, выражения к-рой принимают в интерпретации более двух истинностных значений ( в случае только двух значений - истинно или ложно - имеет место классическая двузначная логика), а в общем случае - любое конечное или бесконечное множество значений. [35]
МНОГОЗНАЧНАЯ ЛОГИКА - логическая система, выражения к-рой принимают в интерпретации более двух истинностных значений ( в случае только двух значений - истинно или ложно - имеет место классическая двузначная логика), а в общем случае - любое конечное или бесконечное множество значений. [36]
Поскольку эти функции на 0, 1 имеют вид конъюнкции и дизъюнкции, будем называть их обобщенной конъюнкцией и обобщенной дизъюнкцией и будем для них использовать обозначения из двузначной логики & и V, подразумевая под этим любые функции такого вида. [37]
Поскольку вводя понятие ЭСЕ и рассматривая вопрос о виде распределения числа этих ЭСЕ различной истинности мы подразумевали, что они могут быть не только истинными или ложными ( вариант классической двузначной логики), а иметь многозначную степень истинности ( вариант многозначной неклассической логики), нам необходимо рассмотреть распределение степени истинности самой ЭСЕ. [38]
Таким образом, оказывается, что двузначная логика обладает не меньшими возможностями в отношении высказываний, чем я-значная логика, и что можно выбрать любое из п возможных высказываний ( га2), последовательно применяя двузначную логику вместо многозначной. [39]
Белнапа состоит в том, что атомарным формулам приписываются четыре истинностных значения F, 7, None, Both, что делает возможным ответы на вопросы в противоречивых ситуациях, которые бракуются в стандартном случае применения двузначной логики. [40]
Многовходовые логические элементы, вообще говоря, имеют столько передаточных характеристик, сколько существует возможных комбинаций входных сигналов. Для элементов двузначной логики обычно различают динамические передаточные характеристики для положительного и для отрицательного входного импульса. [41]
Если компьютер является классическим двузначным логиком, он должен полностью отказаться сообщать что-либо о ком-либо или, что то же, должен сказать все обо всех. Плодовитость противоречий в двузначной логике хорошо известна: они никогда не проявляются изолированно, лока-лизованно, а заражают всю систему. Конечно, компьютер мог бы отказаться принимать противоречивую информацию. Однако, во-первых, это было бы нечестно либо по отношению к Элизабет, либо по отношению к Сэму, репутации которых являются, по предположению, почти безупречными, и, во-вторых, не секрет, что противоречия могут быть не столь явными. В системе может оказаться необнаруженное противоречие, или, что еще хуже, противоречие, которое остается невыявленным еще долгое время после того, как введенная информация, породившая данное противоречие, перемешалась с общей информацией, содержащейся в компьютере, и потеряла свои индивидуальные признаки. При этом все же хотелось бы, чтобы компьютер выдавал только такие заключения, которые порождают разумные ответы на наши вопросы. [42]
Если компьютер является классическим двузначным логи ком, он должен полностью отказаться сообщать что-либо о ком-либо или, что то же, должен сказать все обо всех. Плодовитость противоречий в двузначной логике хорошо известна: они никогда не проявляются изолированно, лона. Конечно, компьютер мог бы отказаться принимать противоречивую информацию. Однако, во-первых, это было бы нечестно либо по отноше - нию к Элизабет, либо по отношению к Сэму, репутации которых являются, по предположению, почти безупречны - ми, и, во-вторых, не секрет, что противоречия могут быть не столь явными. В системе может оказаться необнаруженное противоречие, или, что еще хуже, противоречие, которое остается невыявленным еще долгое время после того, как введенная информация, породившая данное противоречие: перемешалась с общей информацией, содержащейся в ком пьютере, и потеряла свои индивидуальные признаки. При этом все же хотелось бы, чтобы компьютер выдавал только такие заключения, которые порождают разумные ответы на наши вопросы. [43]
Любое данное высказывание может быть, следовательно, только либо истинным, либо ложным. Других возможностей в двузначной логике не существует. [44]
Синхронное моделирование отличается тем, что на каждом такте синхросигналов определяется установившееся состояние схемы, а переходные процессы не рассматриваются. При этом обычно используется двузначная логика, реже четырехзначная. [45]