Логіка - Дуцяк І.3. - 2.2. Суперечність між твердженнями тексту
Нижче описано метод виявлення логічно хибних тверджень у послідовності пов'язаних тверджень, тобто таких, які містять однакові прості твердження-складники. Наприклад, твердження Якщо в мережі є напруга і нема розриву, то електроприлад працює; У мережі є напруга є пов'язаними, оскільки і в першому, і в другому міститься однакове просте твердження (У мережі є напруга). Натомість твердження Сьогодні четвер; Земля обертається навколо Сонця не є пов'язаними.
Інструменти. Алгоритм виявлення суперечності у послідовності пов'язаних тверджень
Для виявлення суперечності, послідовно виконують такі дії:
1. Записують послідовність тверджень у символьному вигляді.
2. Фіксують, що кожне з тверджень послідовності подано як фактично істинне.
3. Визначають значення істинності простих тверджень-складників, зафіксованих кожним твердженням послідовності.
4. Порівнюють значення істинності простих тверджень - складників, зафіксовані кожним із тверджень послідовності. У разі, коли якимось твердженням послідовності певне просте твердження подано з іншим значенням істинності, аніж це було у попередніх твердженнях, то твердження, яке "внесло" суперечність, зачислюють до логічно хибних.
Приклад 1: виявлення логічно хибних тверджень у послідовності тверджень: Неправда, що особу А цікавить мовознавство; Особу А цікавить мовознавство:
1. Записуємо цю послідовність тверджень у символьному вигляді:
2. Фіксуємо під кожним із тверджень, що його подано як фактично істинне:
3. Визначаємо значення істинності простих тверджень-складників, зафіксованих кожним твердженням послідовності (в аналізованому прикладі це стосується лише першого твердження послідовності). У стовпці під першим твердженням послідовності записуємо р - х.
4. На підставі порівняння значень істинності твердження р, зафіксованих першим і другим твердженнями послідовності, висновуємо, що друге твердження є логічно хибне, оскільки другим твердженням послідовності зафіксовано інше значення фактичної істинності твердження р, аніж першим.
Приклад 2: виявлення логічно хибних тверджень у послідовності тверджень: Сьогодні четвер; Якщо сьогодні четвер, то завтра п'ятниця; Неправда, що завтра п'ятниця:
1. Уводимо позначення сьогодні четвер - р, завтра п'ятниця - записуємо аналізовану послідовність тверджень у символьному вигляді:
2. Зафіксовуємо під кожним із тверджень послідовності, що кожне з них подано як фактично істинне (другий рядок праворуч).
3. Визначаємо значення істинності простих тверджень-складників, зафіксованих кожним твердженням послідовності. Перше твердження послідовності є простим, тому щодо нього не треба виконувати подальшого аналізу. Друге твердження послідовності містить еквіваленцію. З таблиці істинності еквіваленції отримуємо, що в разі, коли складне твердження з еквіваленцією є істинним, його твердження-складники мають однакові значення істинності, що й фіксуємо у стовпці під твердженням (р <-" д). З таблиці істинності заперечення отримуємо, що в разі, коли складне твердження з цим терміном є істинним, то його твердження-складник хибний. Це значення істинності твердження о; записуємо у стовпці під третім твердженням послідовності.
4. Порівнюємо значення істинності простих тверджень-складників, зафіксовані кожним із висловів послідовності. Зіставляємо значення істинності, зафіксовані першим і другим твердженнями послідовності.
Першим твердженням послідовності твердження р подано як істинне, а другим зафіксовано, що твердження р може бути як істинним (перша комбінація значень істинності), так і хибним (друга комбінація значень істинності). Оскільки першим твердженням послідовності однозначно зафіксовано, що твердження р є істинним, то ту комбінацію значень істинності р і д, в якій обидва ці твердження є хибними, викреслюємо. Цей крок відтворено на схемі праворуч. Між першим і другим твердженнями послідовності суперечності немає.
Далі аналізуємо відношення між значеннями істинності простих тверджень, зафіксовані першим і третім твердженнями послідовності. Оскільки перше і третє твердження послідовності не є зв'язаними, тобто не містять однакових тверджень-складників (це твердження різного змісту), то між ними не може бути суперечності (у межах аналізованого типу задач).
Після цього порівнюємо значення істинності, зафіксовані другим і третім твердженнями послідовності. Другим твердженням послідовності зафіксовано, що твердження д є істинним, а третім - як хибне. Суперечність внесена третім твердженням послідовності, тому робимо висновок, що третє твердження послідовності є логічно хибним.
Схожі статті
-
Логіка - Дуцяк І.3. - 2.1. Види несумісності знань
2.1. Види несумісності знань Є різні види несумісності висловів. Один із видів несумісності - несумісність тверджень (логічна хибність тверджень), тобто...
-
Логіка - Дуцяк І.3. - ЛЕКЦІЯ 2. Виявлення несумісності знань
2.1. Види несумісності знань Є різні види несумісності висловів. Один із видів несумісності - несумісність тверджень (логічна хибність тверджень), тобто...
-
Логіка - Дуцяк І.3. - ЛЕКЦІЯ 1. Логічні терміни в складних твердженнях
Тема 1. Логічний аналіз складних тверджень ЛЕКЦІЯ 1. Логічні терміни в складних твердженнях 1.1. Прості та складні твердження Для того щоб з'ясувати, що...
-
Логіка - Дуцяк І.3. - Тема 1. Логічний аналіз складних тверджень
Тема 1. Логічний аналіз складних тверджень ЛЕКЦІЯ 1. Логічні терміни в складних твердженнях 1.1. Прості та складні твердження Для того щоб з'ясувати, що...
-
Логіка - Дуцяк І.3. - 1.2. Зміст логічних термінів
Тема 1. Логічний аналіз складних тверджень ЛЕКЦІЯ 1. Логічні терміни в складних твердженнях 1.1. Прості та складні твердження Для того щоб з'ясувати, що...
-
Логіка - Дуцяк І.3. - 1.1. Прості та складні твердження
Тема 1. Логічний аналіз складних тверджень ЛЕКЦІЯ 1. Логічні терміни в складних твердженнях 1.1. Прості та складні твердження Для того щоб з'ясувати, що...
-
Логіка - Дуцяк І.3. - Розділ 1. Логічний аналіз тверджень
Тема 1. Логічний аналіз складних тверджень ЛЕКЦІЯ 1. Логічні терміни в складних твердженнях 1.1. Прості та складні твердження Для того щоб з'ясувати, що...
-
Логіка - Дуцяк І.3. - Місце логіки серед інших дисциплін
Роль та значення логіки у підготовці фахівця Для з'ясування ролі та значення логіки у підготовці фахівця треба, насамперед, сформулювати найзагальніші...
-
Логіка - Дуцяк І.3. - Роль та значення логіки у підготовці фахівця
Роль та значення логіки у підготовці фахівця Для з'ясування ролі та значення логіки у підготовці фахівця треба, насамперед, сформулювати найзагальніші...
-
Логіка - Дуцяк І.3. - Виникнення логіки
Історія логіки Від формування логіки як науки поширене визначення, що її предметом є форми та закони мислення. Водночас таке визначення предмета логіки...
-
Логіка - Дуцяк І.3. - Історія логіки
Історія логіки Від формування логіки як науки поширене визначення, що її предметом є форми та закони мислення. Водночас таке визначення предмета логіки...
-
Логіка - Дуцяк І.3. - Вступ. Загальні знання про логіку
Історія логіки Від формування логіки як науки поширене визначення, що її предметом є форми та закони мислення. Водночас таке визначення предмета логіки...
-
Логіка - Дуцяк І.3. - ПЕРЕДМОВА
Роль та значення логіки у підготовці фахівця Для з'ясування ролі та значення логіки у підготовці фахівця треба, насамперед, сформулювати найзагальніші...
-
Логіка - Дуцяк І.3. - Формалізація - метод логіки
У традиційній логіці вважали, що існують певні закони та правила мислення, які властиві людині від народження, вони певним чином закладені в людському...
-
Логіка - Дуцяк І.3. - Предмет і статус логіки
Від часу появи логіки її предметом уважали форми і закони мислення. Таке розуміння предмета логіки виявилося вже в етимології назви: головними значеннями...
-
Логіка - Дуцяк І.3. - Розвиток логіки
Як завершену теоретичну систему, як науку логіку сформував давньогрецький філософ Арістотель. Що таке теоретична система у логіці? Яку теоретичну систему...
-
Логіка - Дуцяк І.3. - Головні завдання, що стоять перед студентом у процесі вивчення логіки
Коли батьки навчають дитину розмовляти, то насправді йдеться не тільки про вивчення мови. Перед ними стоїть ширше завдання - навчити дитину мовити,...
-
Ділова українська мова - Горбул О. Д. - 1.7. Особливості оформлення тексту
Закріплення за реквізитами постійних місць робить документи зручними для зорового сприймання, спрощує оформлення їх, дає можливість використати при цьому...
-
Інформаційні технології та технічні засоби навчання - Буйницька О. П. - 2.7. Форматування тексту
Основні формати тексту встановлюють перед початком його введення. Можна змінювати формати різних елементів тексту - окремих символів, абзаців, фрагментів...
-
Місце, з якого вводиться текст, визначається положенням курсору. Після введення тексту, як правило, його редагують, тобто корегують, вилучають і...
-
Місце, з якого вводиться текст, визначається положенням курсору. Після введення тексту, як правило, його редагують, тобто корегують, вилучають і...
-
Лекція 2. СТВОРЕННЯ ЗАСОБІВ ПОДАННЯ НАВЧАЛЬНИХ МАТЕРІАЛІВ ЗА ДОПОМОГОЮ ТЕКСТОВОГО ПРОЦЕСОРА. MICROSOFT OFFICE WORD 2007 Основні поняття: інтегрована...
-
Художні тексти, рекомендовані для обов'язкового читання 1. Лопе де Вега. Зірка Севільї. Собака на сіні. Фуенте Овехуна. 2. Тірсо де Моліна. Севільський...
-
Мовлення як вид людської діяльності завжди зорієнтоване на виконання якогось комунікативного завдання. Висловлюючи свої думки і почуття, людина має...
-
Українське ділове мовлення - Шевчук С. В. - 4. Текст документа
Текст - це головний реквізит службового документа, що відображає його зміст. Він має чітко й переконливо відображати причину й мету його написання,...
-
2.1. Текст як форма існування наукових знань. 2.2. Композиція наукової роботи. 2.3. Мовні засоби наукового стилю. 2.4. Найтиповіші наукові тексти. 2.4.1....
-
Ділова українська мова - Горбул О. Д. - 1.4. Вимоги до складання й оформлення текстів документів
Документ (лат. доказ) - це засіб закріплення всілякими способами на спеціальному матеріалі інформації про факти, події, явища об'єктивної дійсності і...
-
План лекції: 1.1 Первісні уявлення щодо конфліктної проблематики. 1.2 Діалектичне вчення про суперечність і конфлікт Карла Маркса. 1.3 Конфліктний...
-
Новітня історія країн Європи та Америки - Газін В. П. - Повернення лейбористів до влади
У 1992 р. спад британської економіки досяг найнижчої точки. З 1993 р. почалося поступове піднесення, що спиралося на особисте споживання та експорт. У...
-
У Стародавньому Єгипті зв'язок між небесними явищами й сезонами року був усвідомлений дуже давно, очевидно, ще в період Стародавнього царства....
Логіка - Дуцяк І.3. - 2.2. Суперечність між твердженнями тексту