Суждения простые и сложные

Дизъюнктивные сужденияСуществует два вида дизъюнктивных суждений: строгие (исключающие) дизъюнктивные и нестрогие (неисключающие) дизъюнктивные.Строгая (исключающая) дизъюнкция - это сложное суждение, которое принимает логическое значение истинности тогда и только тогда, когда только одно из содержащихся в нем суждений истинно или «если оба утверждения ложны, то это ложно». Например, «Это число либо кратно, либо не кратно пяти». Логический союз дизъюнкция выражается грамматическим союзом «либо…либо».Нестрогая (неисключающая) дизъюнкция - это сложное суждение, которое имеет логическое значение истинности тогда и только тогда, когда по крайней мере одно (но, возможно, и больше) из простых суждений, содержащихся в комплексе, истинно. Например, «Писатель может быть поэтом или прозаиком (или и тем и другим одновременно)».Нестрогие дизъюнкции выражаются союзом «или... или» в смысле разделения-соединения.Импликация - это своего рода сложное суждение. Оно имеет ложный логический смысл тогда и только тогда, когда предыдущее суждение (антецедент) истинно, а последнее (консеквент) ложно.На естественном языке значение представлено союзом «если..., то» в том смысле «наверно, что A и не B». Например, «Если число может делиться на 9, то оно делиться и на 3».Символически значение записывается как A>B (если A, то B).Значение - это сложное суждение. Это имеет сложный логический смысл тогда и только тогда, когда предыдущее суждение (до-) истинно, а последнее (пост-) ложно.В естественном языке значение представлено союзом «если»..., тогда в том смысле, что «может быть A вместо B». Например, «Если число может быть кратно 9, то оно может быть кратно 3».Символически значение записывается как A>B (если A, то B).Парадокс материальной импликацииВот как выражается смысловое различие между операцией материальной импликации и ее символической формулой: A>B. Согласно материальной импликации истинностиА, для истинности формулы А>B необходимо, чтобы B также было истинным. В данном случае речь идет о осмысленном понимании ложности и подлинности утверждения. Однако формула A>B истинна не только в указанном случае, но и тогда, когда A ложно, а B истинно, и когда они оба ложны. Парадокс материального подтекста вытекает из этого факта: любое утверждение следует за ложным утверждением, и что угодно, истинное утверждение следует за любым утверждением.Эквивалентность - это сложное суждение, которое имеет логическое значение истинности тогда и только тогда, когда содержащиеся в нем суждения имеют одинаковое логическое значение, то есть они являются истинными или ложными одновременно.Эквивалентные логические союзы представлены грамматическими союзами «тогда и только тогда», «если и только если». Например, «Тогда и только тогда, когда треугольник равносторонний, то он также равноугольный».Символически эквивалентность записывается как АВили АВ («если и только если А, то В»).ЗаключениеВ процессе данной работы рассматривается понятие суждения, дается его краткое описание, рассматриваются типы простых и сложных суждений, а также рассматривается взаимосвязь между суждениями по истинности.Можно сделать следующие выводы:1) Суждение - это форма мышления, при которой подтверждается или отрицается связь между объектом и его атрибутами, взаимосвязь между объектами или факт существования объекта; суждение может быть истинным или ложным.2) При различении видов суждений сначала различаются простые и сложные суждения.3) Простые суждения, в зависимости от их вида, могут включать в себя: субъект, предикат, связку, кванторные слова.4) Вид простого суждения в комбинированной классификации: А все S являются P-общеутвердительное; E ни одно S не является P-общеотрицательное; I Некоторые S являются P-частноутвердительное; O Некоторые S не являются P-частноотрицательное.5) Сложные суждения состоят из простых суждений. Используется таблица истинности, чтобы установить логический смысл сложных суждений. Соотношение истинности между сопоставимыми суждениями субъекта показано логическим квадратом.6) Сложные суждения включают в себя: конъюнктивное суждение, дизъюнктивное суждение и импликацию.Список используемой литературыНикифоров А. Л. Логика / А.Л. Никифоров. - Москва.: Издательство «ВЕСЬ МИР». 2018 - 47 с. ISBN: 5-7777-0144-2.Григорьев Б. В. Классическая логика: Учебное пособие / Б.В. Григорьев. - Москва.: ВЛАДОС, 2018 - 192 с. ISBN 5-6910-0002-0.Гетманова А. Д. Логика / А.Д. Гетманова. - Москва.: КноРус. 2018 - 416 с. ISBN 5-6910-0002-0.Демидов И.В. Логика: учебник / И. В. Демидов. - 8-е изд. - Москва.: Издательство «Дашков и К». 2019 - 347 с. ISBN 5-8001-0002-0.Михайлов К.А. Логика. Практикум: учебное пособие для бакалавров / К. А. Михайлов. - Москва.: Юрайт, 2019 - 509 с. ISBN: 2-7234-0122-7.