Навигация
3. СЛОЖНЫЕ СУЖДЕНИЯ
Суждение, образованное из нескольких простых с помощью логического союза (связки), называется сложным. Элементами сложного суждения являются простые суждения, состав которых, их количественная и качественная характеристика не учитываются. Их истинность или ложность зависит от истинности или ложности простых суждений. В зависимости от вида связок различают соединительные, разделительные, условные и эквивалентные суждения. В суждениях употребляются союзы «и», «а», «да», «не только, но и», «а также», «или», «если…, то…», «если, только если…, то…».
3.1. «Маленькие люди становятся великими, когда великие переводятся» (В. Шекспир). 
Условное (импликативное) суждение. Суждение, образованное из нескольких простых с помощью логической связки «когда». Условное умозаключение выражается схемой p → q, где p - основание, q – следствие, → - символ импликации.
| p | q | p → q |
| И | И | И |
| И | Л | И |
| Л | И | И |
| Л | Л | И |
Таблица истинности
1-я строка: p-истинно, q-истинно,p→q-истинно1
2-я строка: p- истинно,q-ложно, p→q-истинно 2
3-я строка: p-ложно, q-истинно, p→q-истинно 3
4- я строка:p - ложно, q- ложно, p→q-истинно 4
И – истинно, Л - ложно
Простые суждения: маленькие люди становятся великими; большие переводятся.
3.2. «Бытие только тогда и есть, когда ему грозит небытие» (Ф. Достоевский). Эквивалентное суждение (равнозначное). Включает в состав слова «только тогда», помогающие отличить его от условного суждения. Эквивалентное умозаключение выражается схемой p ≡ q, где p - основание, q – следствие, ≡ - символ эквивалентной связи.
| p | q | p ≡ q |
| И | И | И |
| И | Л | Л |
| Л | И | Л |
| Л | Л | И |
Таблица истинности
1-я строка: p-истинно, q-истинно, p≡ q-истинно1
2-я строка: p- истинно,q-ложно, p ≡ q- ложно 2
3-я строка: p-ложно, q-истинно, p ≡ q-ложно 3
4- я строка:p - ложно, q- ложно, p ≡ q-истинно 4
И – истинно, Л – ложно
Простые суждения: бытие только тогда есть; если бытию грозит небытие.
Похожие работы
типов формул, однако, проблема разрешимости решается. Мы рассмотрим наиболее важный тип формул, для которых решение проблемы разрешимости может быть осуществлено, это формулы логики предикатов, зависящие от одного переменного. Основные понятия Пусть M - некоторое множество предметов и a, b, c, d - какие-то определённые предметы из этого множества. Тогда высказывания об этих предметах мы ...
... ; поэтому естественно, что она не может решить поставленных вопросов, так как они относятся к содержанию. Но это был только один из вариантов ответа. Другой шел по совсем иной линии: формальная логика занимается не рассуждениями, а выводом; поэтому вполне естественно, что она не может указать этих различий и ошибок у Галилея, так как тут мы имеем дело не с выводом, а с рассуждениями. Понятия ...
... науки, уяснения ее методологической роли для практической деятельности специалиста любого профиля, понимания специфики формально-логического подхода в познании объективной действительности. Определение предмета и значения логики имеет большое практическое значение, поскольку означает освоение прикладного характера логики, ее нормативных требований и превращение их в норму собственной мыслительной ...
... . Человек в своем развитии приобрел способность познавать окружающий мир, субъективный образ которого должен совпадать с реальностью. Для студента это положение методологично, поскольку он должен понять и объяснить факт содержательного совпадения и формального отличия законов природы и законов логики. Во – первых, все законы объективны в том смысле, что отражают одну и ту же реальность и ...
0 комментариев