|
Большая Советская Энциклопедия (ЛО)Такими функционально полными наборами связок являются, например, u и &, u и , u и E и даже одна-единственная связка 1/2 . Поскольку логика высказываний может быть изоморфно (см. Изоморфизм) интерпретирована в терминах логики классов, для каждой Л. о. имеется аналогичная теоретико-множественная операция; совокупность таких операций над множествами (классами) образует т. н. алгебру множеств. См. Алгебра логики. Лит.: Чёрч А., Введение в математическую логику, пер. с англ., т. 1, М., 1960, §§ 05, 06 и 15. Ю. А. Гастев. Логический закон Логи'ческий зако'н, общее название законов, образующих основу логической дедукции. Понятие о Л. з. восходит к древнегреческому понятию о logos'e как предпосылке объективной («природной») правильности рассуждений. Собственно логическое содержание оно впервые получает у Аристотеля, положившего начало систематическому описанию и каталогизации таких схем логических связей произвольных элементарных высказываний в сложные высказывания, убедительность (общезначимость) которых вытекает из одной только их формы, а точнее — из одного только правильного понимания смысла логических связей, безотносительно к истинностному значению элементарных высказываний. Большинство Л. з., открытых Аристотелем, это — законы силлогизма ...» |
Код для вставки книги в блог HTML
phpBB
текст
|
|