Cтраница 1
Двузначная логика [ 1 о-уа [ ией 1ож1с ] 220 Двузначное [ 1 - Уа1ией ] предикатное исчисление [ ргей. [1]
Однако двузначная логика не всегда полностью удовлетворяет поставленным требованиям, поэтому иногда целесообразнее прибегнуть к другой, более гибкой - трехзначной логике, при помощи которой ряд задач решается эффективнее. Принцип построения трехзначной логической системы почти не отличается от построения двузначной системы, но из-за специфического свойства трехзначности число операторов в ней гораздо больше, чем в двузначной логике, и качественно она является более мощным аппаратом для синтеза схем дискретного действия. [2]
Расширение двузначной логики, основанной на использовании двух возможных значении логических переменных ( истина и - ложь), до класса логики, определенной на четырех значениях логических переменных: истина, ложь, неопределенность и абс рд Используется в системах искусственного интеллекта. [3]
Шеффсра двузначной логики в том отношении, что через нее могут быть выражены все остальные логич. [4]
В двузначной логике любое предложение либо истинно, либо ложно. Отсюда выражение Истинно, что р эквивалентно гр. Применяя эту эквивалентность к нашему случаю, мы видим, что формула Если истинно, что р, то необходимо, что р будет эквивалентна более простому выражению: Если р, то необходимо, что р, которое в символах читается так: CpLp. Мы знаем, однако, что эта формула была отвергнута Александром и, конечно, самим Аристотелем. Она должна быть отброшена, так как, если ее принять, пропозициональная модальная логика будет разрушена. Любое ассерторическое предложение р было бы эквивалентно своему аподиктическому аналогу Lp, так как имели бы силу обе формулы, CLpp и CpLp, и можно было бы доказать, что любое ассерторическое предложение р эквивалентно также своему проблематическому аналогу Мр. При этих условиях бесполезно было бы строить пропозициональную модальную логику. [5]
В двузначной логике класс квазилинейных функций совпадает с классом всех линейных функций. [6]
В двузначной логике выражение S является справедливым если истинность Т ( S) 1 при всех возможных значениях аргумен - та. S) 0, выражение S является ложным. [7]
В двузначной логике эта операция называется операцией ИЛИ. Вместе с тем нетрудно видеть, что в каждом случае производится выбор более истинного значения. [8]
В двузначной логике эта операция называется операцией И. Вместе с тем в каждом случае производится выбор более ложного высказывания. [9]
Так как в двузначной логике выделенным истинностным значением является истина, то из истинных посылок не выводимы ложные заключения. [10]
Рассмотренная в предыдущих параграфах двузначная логика допускает обобщение на k - з н а ч н ы и случай. [11]
Конечнозначные логики вводятся как обобщение двузначной логики. [12]
Конечнозначные логики вводятся как обобщение двузначной логики. В силу этого наше изложение местами будет кратким, а некоторые аналогичные определения и доказательства будут опущены. [13]
Классическая теория множеств базируется на двузначной логике. [14]
Таким образом, оказывается, что двузначная логика обладает не меньшими возможностями в отношении высказываний, чем я-значная логика, и что можно выбрать любое из п возможных высказываний ( га2), последовательно применяя двузначную логику вместо многозначной. [15]