Сложные суждения рассматриваются в логике только с точки зрения их истинностных значений, которые зависят от истинностных значений простых суждений и от типа связи простых суждений в сложное.
Для определения истинностных значений сложных суждений необходимо знать определения основных логических связок: конъюнкции, дизъюнкции (слабой и строгой), импликации, эквиваленции и отрицания.
Сложное суждения образуются из простых суждения с помомощью логических связок: конъюнкции (a ˄ b(И)), дизъюнкция (a ˅ b(ИЛИ)), импликации (a→b(ЕСЛИ…,ТО)), эквиваленции (a ≡b(ЕСЛИ…И ТОЛЬКО ЕСЛИ,ТО)), отрицания (a¯(НЕ)) .
Таблицы истинности - показывают, какие значения принимает составное высказывание при всех сочетаниях (наборах) значений входящих в него простых высказываний.
Диаграммы Эйлера-Вейна
Поможем написать любую работу на аналогичную тему