Название: Контрольна робота з логіки
Вид работы: реферат
Рубрика: Астрономия
Размер файла: 19.96 Kb
Скачать файл: referat.me-4679.docx
Краткое описание работы: Практичні завдання При допомозі колових схем покажіть відношення між поняттями: повітря, атмосфера, кисень. и є демонстративним даний умовивід (міркування)?
Контрольна робота з логіки
Контрольна робота з логіки
Практичні завдання
1. При допомозі колових схем покажіть відношення між поняттями: повітря , атмосфера, кисень .
2. Чи є демонстративним даний умовивід (міркування)?
1. А -B
2. A .
3. B
3. Визначте табличним методом при яких значеннях змінних А і В вираз буде істинним?
(А V B) - A
4. Дайте приклад загально-заперечувального судження. Запишіть його в термінах логіки предикатів.
5. Побудуйте пряме доведення тези С, використовуючи такі аргументи:
А - B, B v C, A ٨ C
Відповіді на практичні завдання:
1. При допомозі колових схем покажіть відношення між поняттями: повітря , атмосфера, кисень .
На нашу думку відношення між запропонованими поняттями варто зобразити так:
де А – повітря ,
В – атмосфера ,
С – кисень .
Вид відношення між поняттями повітря і атмосфера – перехрещення, оскільки не всі атмосфери мають повітря (атмосфери зірок тощо), між поняттями атмосфера і кисень – також відношення перехрещення, оскільки не всі атмосфери містять кисень (атмосфера Сатурна тощо); між поняттями повітря і кисень – відношення підпорядкування, оскільки об’єм поняття кисень повністю включає в себе об’єм поняття повітря.
2. Чи є демонстративним даний умовивід (міркування)?
1. А - B
2. A .
3. B
Демонстративним називається умовивід, у якому висновок з необхідністю витікає із засновків, тобто логічна послідовність в таких міркуваннях представляє собою логічний закон. У запропонованих засновках 1 і 2 висновок 3 слідує з необхідністю (згідно логічного зв’язку – імплікації). Отже, даний умовивід є демонстративним.
3. Визначте табличним методом при яких значеннях змінних А і В вираз буде істинним?
(А V B) - A
А | В | (А V В) | - A | |
1 | і | і | і | і |
2 | і | х | і | і |
3 | х | і | і | х |
4 | х | х | х | і |
де
і – істинне,
х – хибне,
V – «або» (зв’язка диз’юнкції),
- - «Якщо... , то...» (зв’язка імплікації).
З таблиці істинності випливає, що вираз буде істинним практично при всіх значеннях змінних А і В (1, 2, 4-й рядки таблиці), за винятком одного (3 рядок таблиці), коли А – хибне, а В – істинне.
4. Дайте приклад загально-заперечувального судження. Запишіть його в термінах логіки предикатів.
Стверджувати або заперечувати щось можна про один предмет, про частину предметів і про всі предмети класу. У відповідності з цим категоричні судження поділяють за кількістю і якістю. Загально-заперечувальним називається судження, в якому щось заперечується про цілий клас предметів.
Наприклад: “Ніхто з студентів немає права ігнорувати екзаменаційну сесію”.
Схематично дане судження можна зобразити так: “Всі S не є Р”. ( S – P)
5. Побудуйте пряме доведення тези С, використовуючи такі аргументи:
А - B, B v C, A ٨ C
Прямим називається доведення, в якому при обґрунтуванні тези не користуються суперечливими тезі припущеннями.
Припустимо, що А – істинне, тоді
А - B, А звідси В v C, B
В C
Тезу С доведено.
Похожие работы
-
Оксиген Кисень
Конспект уроку з хімії у 8 класі “Оксиген. Кисень” Тема. Оксиген як хімічний елемент. Кисень проста речовина. Оксиген у природі. Фізіологічна дія кисню. Добування кисню в лабораторії.
-
Поділ суджень за модальністю
КОЛОМИЙСЬКИЙ КОЛЕДЖ ПРАВА І БІЗНЕСУ Реферат на тему: “Поділ суджень за модальністю” Виконала студентка групи Ю-22 Кінащук Оксана Викладач: Ганущак М. В.
-
Умовивід за аналогією
Кафедра філософії Реферат з дисципліни “Логіка” на тему: “Умовивід за аналогією” Дніпропетровськ 2000 Аналогією називається такий умовивід, в якому від схожості предметів в одних ознаках робиться висновок про схожість цих предметів і в інших ознаках.
-
Типи відношень між поняттями
Реферат на тему: Типи відношень між поняттями Порівнянні та непорівнянні поняття. Сумісні та несумісні поняття У логіці всі поняття за змістом поділяються на: порівнянні і непорівнянні.
-
З логіки
КОНТРОЛЬНА РОБОТА з дисципліни “Логіка” 1. Умовиводи та їх види Умовивід – це логічний засіб здобування нового знання. У процесі умовиводу здійснюється перехід від відомого до невідомого. Об’єктивною підставою умовиводу є зв’язок і взаємозалежність предметів і явищ дійсності. Якби навколишній світ складався з нагромаджених не пов’язаних між собою випадкових предметів і явищ, то від знання одних предметів не можна було б перейти до знання інших і, отже, умовивід як форма мислення був би неможливим.
-
Правильні та неправильні міркування Поняття про логічну помилку
Реферат на тему: Правильні та неправильні міркування. Поняття про логічну помилку У логіці міркування поділяються на: правильні; неправильні. Правильне міркування
-
Історичні етапи розвитку логічного знання логіка Давньої Індії логіка Давньої Греції
Реферат на тему: Історичні етапи розвитку логічного знання: огіка Давньої Індії, логіка Давньої Греції Розвиток логіки впродовж багатьох століть відбувався у двох світових центрах зародження цієї науки — в
-
Типи алгоритмів
1. Способи запису алгоритмів. 2. Блок-схеми і правила зображення блок-схеми. 3. Типи алгоритмів. 4. Складання блок-схем. Способи запису алгоритмів.
-
Логіка як наука і її значення 2
І. Лекція: Логіка як наука і її значення. План Логіка і її предметне смислове поле застосування і існування. Історія логіки як науки. Значення логіки в роботі юриста.
-
Вступ до дисципліни логіка предмет і мова формальної логіки
Реферат Вступ до дисципліни “логіка” предмет і мова формальної логіки План 1. Вступ до дисципліни “Логіка”. 2. Історичні умови виникнення формальної логіки, її розвиток.