Эквивалентное суждение истинно в двух случаях: когда оба составляющие его суждения истинны и когда они оба ложны Таблица истинности эквивалентности:
А | В | A↔В |
и | и | и |
и | л | л |
л | и | л |
л | л | и |
Отрицание суждений. При характеристике сложных суждений широко используется еще один логический союз: «неверно, что» или просто «не» (знак отрицания «1»). В отличие от бинарных союзов он относится к одному суждению. Прибавление его к какому-либо суждению означает образование нового суждения, которое находится в определенной зависимости от исходного. Например, исходное суждение: «Все судьи неподкупны». Его отрицание: «Неверно, что все судьи неподкупны» или «Не все судьи неподкупны», «Некоторые судьи не неподкупны».
Отрицание истинно, если исходное суждение ложно, и наоборот. Таблица отрицания суждений:
A | ┐A |
| И Л | Л И |
Логические союзы, рассмотренные из методических соображений порознь, в реальной практике мышления нередко переплетаются друг с другом, образуя порой весьма сложные мыслительные конструкции. Например: «Суд не принимает отказа истца от иска, признания иска ответчиком и не утверждает мирового соглашения сторон, если эти действия противоречат закону или нарушают чьи-либо права и охраняемые законом интересы». Здесь налицо сочетание нескольких конъюнкций с дизъюнкцией и импликацией. Или: «Судья, народный заседатель, прокурор, секретарь судебного заседания, эксперт и переводчик не могут участвовать в рассмотрении дела и подлежат отводу, если они лично, прямо или косвенно, заинтересованы в исходе дела или имеются иные обстоятельства, вызывающие сомнения в их беспристрастности».
Различия между логическими союзами относительны. Подобно тому как один и тот же логический союз может соединять самые разные по конкретному содержанию суждения, так одно и то же конкретное суждение может быть выражено разными логическими союзами. Например: «День прошел, и настала ночь»; «Если день прошел, то настала ночь»; «Или день не прошел, или настала ночь»; «День не прошел, ночь не настала»; «Если ночь не настала, то день не прошел». Взаимосвязь и взаимозаменяемость логических союзов имеет большое значение для преобразования символических формул в процессе исчисления высказываний.
Заключение
Познавая объективный мир, человек раскрывает связи между предметами и их признаками, устанавливает отношения между предметами, утверждает или отрицает факт существования предмета. Эти связи и отношения отражаются в мышлении в форме суждений, представляющих собой связь понятий. Например, .высказывая суждение «Семенов — адвокат», мы связываем понятия «Семенов» и «адвокат», отражая реальную связь между конкретным лицом и его признаком. В суждении «Владимир — брат Алексея» в связи понятий «Владимир» и «Алексей» выражены родственные отношения между двумя лицами. В суждении «В некоторых странах существует президентская форма правления» связь понятий утверждает факт существования президентской формы правления в некоторых странах.
Таким образом, суждение и предложение образуют неразрывное единство, но это единство включает в себя определенные различия, которые необходимо учитывать, так как отождествление суждения как формы мышления и предложения как его языкового выражения Порождает ошибки в их анализе.
Суждения делятся на простые и сложные.
Простым называется суждение, не включающее другие суждения. Суждение, состоящее из нескольких простых суждений, называется сложным.
В логической литературе наряду с термином «суждение» употребляется термин «высказывание». В дальнейшем изложении оба термина мы будем употреблять как равнозначные.
Список используемой литературы:
1. Берков В.Ф. Логика: Уч. – Мн: НТООО «ТетраСистемс», 1997.
2. Бойко А. П. Логика: Учебное пособие / А. П. Бойко. - М., 2002.
3. Гетманова А. Д. Учебник по логике / А. Д. Гетманова. – М,2004.
4. Иванов Е. А. Логика / Е. А. Иванов. - М., 2002.
5. Рузавин Г.И. Логика и аргументация: Уч.пос. – М: Культура и спорт, ЮНИТИ, 2000