Классическая логика

Cтраница 2

Без монотонности большинство метатеорем классической логики станут необщезначимыми. Например, метатеорема дедукции ( § 2.1.4) неверна в немонотонных логиках Мак-Дермотта ( разд. [16]

Если они отличаются от классической логики, то они называются не-классическими логиками или же иеклассическими операциями присоединения следствий. [17]

Если они отличаются от классической логики, то они называются не-классическими логинами или же неклассическими операциями присоединения следствий. [18]

Сформулируем теперь каждое предложение классической логики и математики, употребляя в качестве логических связок только термины если... [19]

ИСКЛЮЧЕННОГО ТРЕТЬЕГО ЗАКОН - аксиома классической логики, состоящая в том, что одно из двух высказываний Д и не А является истинным. [20]

В третьей главе показано, как классическая логика ( особенно логика предикатов) может использоваться для представления знаний и автоматических рассуждений, относящихся к ним. Изложены методы, позволяющие преобразовать логическое представление в сетевое и объектное. [21]

Однако действительность не укладывается в рамки классической логики. Приходится изобретать новые логики или модернизировать старые, чтобы включить в них временные, модальные и иные категории. Но для этих логик не существует автоматических систем ввода. Так называемая человеческая логика, применяемая при работе с неструктуризованными знаниями, - это интеллектуальная модель с нечеткой структурой, и в этом ее отличие от старой логики. Таким образом, логики, адекватно отражающей человеческое мнение, к настоящему времени еще не создано. [22]

С другой стороны, многие законы классической логики перестают быть выводимыми без закона исключенного третьего. [23]

Множества А и В, их сумма и пересечение. [24]

Множества очень естественно интерпретируют законы и выводы классической логики. Поясним суть дела с помощью двух простых примеров. [25]

Покажем, что, в отличие от классической логики, все связки Л, V, D, - L в интуиционистском исчислении высказываний независимы. [26]

Все описываемые в этом параграфе теории основаны на классической логике ( см. § 11, стр. [27]

Другой подход к нестрогим рассуждениям, который отклоняется от классической логики - нечеткая логика, рассмотренная Заде 1238 ] и другими авторами. В нечеткой логике высказывание вроде X есть большое число интерпретируется как имеющее неточное значение, характеризуемое некоторым нечетким множеством. [28]

Когда наконец-то серьезно займутся автоматическим поиском доказательства для не классических логик, придется вернуться к данным работам. [29]

Обозначим через Z классическое арифметическое исчисление ( система с классической логикой [ 1, с. Под формальной аксиоматической теорией мы понимаем исчисление, сформулированное в рамках классического исчисления предикатов первой ступени и заданное перечислимым множеством аксиом. [30]

Страницы: 1 2 3 4