закон дистрибутивности дизъюнкции относительно конъюнкции
1закон дистрибутивности — (от англ. distribution распределение, размещение) общее название группы логических законов сходной структуры. Эти законы позволяют распределить одну логическую связь относительно другой. Полный 3. д. конъюнкции относительно дизъюнкции с… …
2ДИСТРИБУТИВНОСТИ ЗАКОН — (от лат. distributus – распределенный), р а с п р е д е л и тельный закон, – закон, выражающий дистрибутивность (распределительность) одной данной логич. или математич. операции относительно др. данной операции. Примером Д. з. может служить закон …
3АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… …
4ШРЕДЕР — (Schroder) Эрнст (25. 11. 1841, Мангейм, 16.6. 1902, Карлсруэ), нем. математик и логик. Дал систематич. изложение математич. логики (как алгебры логики), включая теорию отношений; им введён термин «исчисление высказываний». Сформулировал… …
5ОТРИЦАНИЕ — филос. категория, выражающая опре дел. тип отношения между двумя последоват. стадиями, состояниями развивающегося объекта. О. является необходимым моментом процесса развития. Диалектика в «...позитивное понимание существующего... включает …
6ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории …
