Referat.me

Название: Контрольна робота з логіки

Вид работы: реферат

Рубрика: Астрономия

Размер файла: 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. Історичні умови виникнення формальної логіки, її розвиток.