Как называется связь в сложном суждении обозначаемая знаком

От логики до ИИ/Формальная логика — Викиверситет

Сложными являются суждения, в которых можно выделить правильные . союз “если, то”, обозначаемый символом Э. Этот символ называется знаком а именно — связь по смыслу между суждениями предшествующим и. Как называется связь простых суждений изображаемая в логике высказываний знаком "-->"(стрелочка)? а) сильная дизъюнкция б). По характеру логической связи выделяют пять основных видов сложных суждений посредством логического союза «и», обозначаемого символом «». Символически данное сложное суждение можно записать как: А В, где А, а суждение, расположенное после слова «то», называется.

В русском языке конъюнктивный логический союз выражается многими грамматическими союзами: Нередко подобные грамматические союзы заменяются запятой, двоеточием, точкой с запятой. Конъюнктивное суждение истинно только при истинности всех составляющих его элементов иложно при ложности хотя бы одного из них см.

§ 2. Сложные суждения

Знание особенностей истинностного значения конъюнкции имеет особое значение в практике мышления, так как достаточно одного ложного суждения, чтобы придать всей, даже весьма сложной, конъюнктивной мысли ложность. Этот факт лежит в основе многих русских пословиц, например, о том, что делает ложка дегтя в бочке меда.

Эту особенность важно учитывать в юридической практике, в дискуссиях — когда выстраивается сложная цепь мыслей, которая при одном ложном звене может распасться. С другой стороны, достаточно обнаружить хотя бы один ложный аргумент в доводах оппонента, чтобы опровергнуть все его рассуждение в целом.

Соответственно обозначив их через буквыА,В— выделим его логическую форму: Выше приведенный пример является слабой дизъюнкцией, так как право одновременно в одном отношении может способствовать развитию экономики, но препятствовать в другом.

Слабая дизъюнкцияявляетсяистиннойв тех случаях,когда истинно по крайней мере одно из составляющих ее суждений или оба вместе и ложна, когда оба составляющих ее суждения ложны Табл.

§ 2. СЛОЖНЫЕ СУЖДЕНИЯ. Логика для юристов: учебник

Для того, чтобы подчеркнуть строго разделительный, исключающий характер связи, в естественном языке используется усиленная двойная форма разделения: Строгая дизъюнкция истинна лишь тогда, когда одно из составляющих ее суждений истинно, а другое — ложно Табл. Среди дизъюнктивных суждений следует различать также полную и неполнуюдизъюнкцию, когда соответственно: Дизъюнктивные суждения широко распространены в практике мышления. Именно в них выражается логическая операция деления.

Условное суждение состоит из двух составляющих его суждений. А В, гдеА— основание,В— следствие. При этом, суждения, выполняющие роль основания и следствия, сами по себе могут быть как простыми, так и сложными суждениями. Образуя условное суждение, прежде всего, имеют в виду, что не может быть так, чтобы то, о чем говорится в основании имело место, а то, о чем говорится в следствии отсутствовало. Иными словами, не может случится, чтобы антецедент был истинным, а консеквент — ложным. Это и определяет то, что условное суждение истинно во всех случаях, кроме одного: Это выражено в таблице 1 — столбец 6.

В форме условных суждений выражают как объективные зависимости одних объектов от других, так и права и обязанности людей, связанные с теми или иными условиями. По смыслу оно соответствует некоторому разделительному суждению. Модальные высказывания, входящие в последнее высказывание разделительноеявляются простыми.

С простыми модальными высказываниями правда, не совсем адекватно можно сопоставить сложные модальные высказывания. В связи с такой возможностью сопоставления мы для краткости изложения будем рассматривать только сложные модальные суждения.

Суждения, образованные из других суждений путем характеристики описываемых в них ситуаций в качестве необходимых, случайных, возможных, называются алетическими модальными суждениями. Таковыми же являются сложные суждения, по крайней мере некоторые составные части которых являются алетическими модальными суждениями.

Алетические модальные понятия делятся на логические и фактические физические. Положение дел может быть логически возможно или фактически возможно, логически необходимо или фактически необходимо, логически случайно или фактически случайно. Логически возможно то, что не противоречит законам логики. Естественно утверждать, что не все то, что логически возможно, возможно фактически.

Фактически необходимы законы природы и общественной Яamp;зни и логические следствия из. Введем обозначения для логических модальных понятий: L — необходимо, М — возможно, С — случайно; для фактических модальных понятий: Используя эти символы, можно следующим образом выразить связь между алетическими модальными понятиями: Здесь о — символ отношения эквивалентности между высказываниями.

Например, шестая эквивалентность читается так: Возможно, что на Марсе есть жизнь. Необходимо, что на Луне нет жизни.

§ 2. СЛОЖНЫЕ СУЖДЕНИЯ

Необходимо, что сейчас идет дождь или не идет дождь. Необходимо, что треугольник является остроугольным, прямоугольным или тупоугольным. Необходимо, что все планеты Солнечной системы вращаются вокруг своей оси. Возможно, что все студенты нашего факультета являются спортсменами.