При допомозі колових схем покажіть відношення між поняттями: повітря, атмосфера, кисень.
Ч
1. А B
2
3. B
Визначте табличним методом при яких значеннях змінних А і В вираз буде істинним?
(А V B) A
Дайте приклад загально-заперечувального судження. Запишіть його в термінах логіки предикатів.
Побудуйте пряме доведення тези С, використовуючи такі аргументи:
А
Відповіді на практичні завдання:
При допомозі колових схем покажіть відношення між поняттями: повітря, атмосфера, кисень.
Н
де А – повітря,
В – атмосфера,
С – кисень.
Вид відношення між поняттями повітря і атмосфера – перехрещення, оскільки не всі атмосфери мають повітря (атмосфери зірок тощо), між поняттями атмосфера і кисень – також відношення перехрещення, оскільки не всі атмосфери містять кисень (атмосфера Сатурна тощо); між поняттями повітря і кисень – відношення підпорядкування, оскільки об’єм поняття кисень повністю включає в себе об’єм поняття повітря.
1
2
3. B
Демонстративним називається умовивід, у якому висновок з необхідністю витікає із засновків, тобто логічна послідовність в таких міркуваннях представляє собою логічний закон. У запропонованих засновках 1 і 2 висновок 3 слідує з необхідністю (згідно логічного зв’язку – імплікації). Отже, даний умовивід є демонстративним.
(А V B) A
А | В | (А V В) | A | |
1 | і | і | і | і |
2 | і | х | і | і |
3 | х | і | і | х |
4 | х | х | х | і |
де
і – істинне,
х – хибне,
V – «або» (зв’язка диз’юнкції),
- «Якщо... , то...» (зв’язка імплікації).
З таблиці істинності випливає, що вираз буде істинним практично при всіх значеннях змінних А і В (1, 2, 4-й рядки таблиці), за винятком одного (3 рядок таблиці), коли А – хибне, а В – істинне.
Стверджувати або заперечувати щось можна про один предмет, про частину предметів і про всі предмети класу. У відповідності з цим категоричні судження поділяють за кількістю і якістю. Загально-заперечувальним називається судження, в якому щось заперечується про цілий клас предметів.
Наприклад: “Ніхто з студентів немає права ігнорувати екзаменаційну сесію”.
Схематично дане судження можна зобразити так: “Всі S не є Р”. (S – P)
А
Прямим називається доведення, в якому при обґрунтуванні тези не користуються суперечливими тезі припущеннями.
Припустимо, що А – істинне, тоді
А
В C
Тезу С доведено.
6
! |
Как писать рефераты Практические рекомендации по написанию студенческих рефератов. |
! | План реферата Краткий список разделов, отражающий структура и порядок работы над будующим рефератом. |
! | Введение реферата Вводная часть работы, в которой отражается цель и обозначается список задач. |
! | Заключение реферата В заключении подводятся итоги, описывается была ли достигнута поставленная цель, каковы результаты. |
! | Оформление рефератов Методические рекомендации по грамотному оформлению работы по ГОСТ. |
→ | Виды рефератов Какими бывают рефераты по своему назначению и структуре. |