S-диграф
то же, что и означенный диграф. В логике общения: это диграф, некоторые линии которого обозначены как позитивные, а все остальные как негативные.
общее название группы логических законов сходной структуры. Эти законы позволяют распределить одну логическую связь относительно другой.Полный 3. д. конъюнкции относительно дизъюнкции с использованием символики логической формулируется так (р, q, r — некоторые высказывания; & - конъюнкция, «и»; v - дизъюнкция, «или»; = — эквивалентность, «если и только если»):p&(qvr) = (p&q)v(p&r), первое и (второе или третье), если и только если (первое и второе) или (первое и третье). Напр.: «Сегодня идет дождь и завтра ясно или послезавтра ясно в том и только в том случае, когда сегодня идет дождь и завтра ясно или сегодня идет дождь и послезавтра ясно».
Закон дистрибутивности умножения относительно сложения:
\[\left(a+b\right)\cdot c=a\cdot c+b\cdot c.\...
]
Закон дистрибутивности умножения относительно вычитания:
\[\left(a-b\right)\cdot c=a\cdot c-b\cdot
Изучаются полукольца, удовлетворяющие условиям идемпотентности и близкие к дистрибутивным решеткам по своим исходным свойствам. Особое внимание уделено строению коммутативных идемпотентных полуколец с двойственным законом дистрибутивности.
Исчисление высказываний – это формальная теория, ориентированная на формализацию понятий логического закона...
Различают полный закон контрапозиции, прямой и обратный законы контрапозиции....
На основе закона контрапозиции как общезначимого импликативного утверждения строится правило вывода,...
Законы дистрибутивности. Также эти законы называются распределительными....
Выделяют дистрибутивность конъюнкции относительно дизъюнкции и дистрибутивность дизъюнкции относительно
В настоящей работе введено новое понятие метаподстановки, обобщающее широко используемое в теории вычислений понятие подстановки. В отличие от подстановок метаподстановки позволяют определить операции композиции и вычисления точной нижней грани так, чтобы эти операции подчинялись законам дистрибутивности. Благодаря этому метаподстановки представляются более удобным объектом для использования их в алгоритмах статического анализа программ.
то же, что и означенный диграф. В логике общения: это диграф, некоторые линии которого обозначены как позитивные, а все остальные как негативные.
определение, в котором понятие вводится на основе некоторых исходных положений (аксиом).
понятие, объем которого входит как (правильная) часть в объем другого (родового по отношению к нему) понятия.