Понятие «Порочный круг»
(лат. circulus vitiosus) - наиболее грубая разновидность ошибки недоказанного аргумента, когда в качестве основания доказательства применяется сам тезис, который требуется доказать.
общее название группы логических законов сходной структуры. Эти законы позволяют распределить одну логическую связь относительно другой.Полный 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
Изучаются полукольца, удовлетворяющие условиям идемпотентности и близкие к дистрибутивным решеткам по своим исходным свойствам. Особое внимание уделено строению коммутативных идемпотентных полуколец с двойственным законом дистрибутивности.
Исчисление высказываний – это формальная теория, ориентированная на формализацию понятий логического закона...
Различают полный закон контрапозиции, прямой и обратный законы контрапозиции....
На основе закона контрапозиции как общезначимого импликативного утверждения строится правило вывода,...
Законы дистрибутивности. Также эти законы называются распределительными....
Выделяют дистрибутивность конъюнкции относительно дизъюнкции и дистрибутивность дизъюнкции относительно
В настоящей работе введено новое понятие метаподстановки, обобщающее широко используемое в теории вычислений понятие подстановки. В отличие от подстановок метаподстановки позволяют определить операции композиции и вычисления точной нижней грани так, чтобы эти операции подчинялись законам дистрибутивности. Благодаря этому метаподстановки представляются более удобным объектом для использования их в алгоритмах статического анализа программ.
(лат. circulus vitiosus) - наиболее грубая разновидность ошибки недоказанного аргумента, когда в качестве основания доказательства применяется сам тезис, который требуется доказать.
полученный в результате расчленения изучаемого объекта и познания частей этого объекта.
обоснование утверждения или действия путем ссылки на какой-то авторитет. А. к а. необходим, хотя и недостаточен, в случае обоснования предписаний (команд, директив, законов государства и т. п.). Он важен также при обсуждении ценности советов, пожеланий, методологических и иных рекомендаций. Данный аргумент должен учитываться при оценке предостережений, просьб, обещаний, угроз и т. п. Несомненна роль авторитета и, соответственно, апелляции к нему едва ли не во всех практических делах.