Энциклопедия по машиностроению XXL

Оборудование, материаловедение, механика и ...

Статьи Чертежи Таблицы О сайте Реклама

[<< Стр.]    [Стр. >>]

ЛОГИКИ НЕКЛАССИЧЕСКИЕ - общее название логических систем, в которых иначе, чем в классической логике, истолковываются операции отрицания, конъюкции, дизъюнкции, импликации и кванторов, а иногда добавляются новые логические операции («необходимо», «{возможно», «разрешено», «запрещено», «будет случай, что ...» и другие). Задаются посредством задания многозначной интерпретации логических формул, при которой некоторые значения объявляются вьщеленными (они соответствуют значению «истинно» в классической логике), либо с помощью исчисления, т.е. задания аксиом и правил, позволяющих выводить из аксиом все формулы, верные в данной Л Н Как правило» Л Н согласованы с классической логикой в том смысле, что все формулы, верные в какой-либо Л Н и содержащие лишь связки логические классической логики, то>ццественно

[<< Стр.]    [Стр. >>]

ПОИСК



ЛОГИКИ НЕКЛАССИЧЕСКИЕ - общее название логических систем, в которых иначе, чем в классической логике, истолковываются операции отрицания, конъюкции, дизъюнкции, импликации и кванторов, а иногда добавляются новые логические операции («необходимо», «{возможно», «разрешено», «запрещено», «будет случай, что ...» и другие). Задаются посредством задания многозначной интерпретации логических формул, при которой некоторые значения объявляются вьщеленными (они соответствуют значению «истинно» в классической логике), либо с помощью исчисления, т.е. задания аксиом и правил, позволяющих выводить из аксиом все формулы, верные в данной Л Н Как правило» Л Н согласованы с классической логикой в том смысле, что все формулы, верные в какой-либо Л Н и содержащие лишь связки логические классической логики, то>ццественно

[Выходные данные]

© 2025 Mash-xxl.info Реклама на сайте