Реферат

Реферат Контрольна робота з логіки

Работа добавлена на сайт bukvasha.net: 2015-10-28

Поможем написать учебную работу

Если у вас возникли сложности с курсовой, контрольной, дипломной, рефератом, отчетом по практике, научно-исследовательской и любой другой работой - мы готовы помочь.

Предоплата всего

от 25%

Подписываем

договор

Выберите тип работы:

Скидка 25% при заказе до 22.11.2024


Контрольна робота з логіки

Практичні завдання

  1. При допомозі колових схем покажіть відношення між поняттями: повітря, атмосфера, кисень.

  2. Чи є демонстративним даний умовивід (міркування)?

1. А B

2. A .

3. B

  1. Визначте табличним методом при яких значеннях змінних А і В вираз буде істинним?

(А V B) A

  1. Дайте приклад загально-заперечувального судження. Запишіть його в термінах логіки предикатів.

  2. Побудуйте пряме доведення тези С, використовуючи такі аргументи:

А B, B v C, A ٨ C

Відповіді на практичні завдання:

  1. При допомозі колових схем покажіть відношення між поняттями: повітря, атмосфера, кисень.

На нашу думку відношення між запропонованими поняттями варто зобразити так:


де А – повітря,

В – атмосфера,

С – кисень.

Вид відношення між поняттями повітря і атмосфера – перехрещення, оскільки не всі атмосфери мають повітря (атмосфери зірок тощо), між поняттями атмосфера і кисень – також відношення перехрещення, оскільки не всі атмосфери містять кисень (атмосфера Сатурна тощо); між поняттями повітря і кисень – відношення підпорядкування, оскільки об’єм поняття кисень повністю включає в себе об’єм поняття повітря.

  1. Чи є демонстративним даний умовивід (міркування)?

1. А B

2. A .

3. B

Демонстративним називається умовивід, у якому висновок з необхідністю витікає із засновків, тобто логічна послідовність в таких міркуваннях представляє собою логічний закон. У запропонованих засновках 1 і 2 висновок 3 слідує з необхідністю (згідно логічного зв’язку – імплікації). Отже, даний умовивід є демонстративним.

  1. Визначте табличним методом при яких значеннях змінних А і В вираз буде істинним?

(А V B) A


А

В

V В)

A

1

і

і

і

і

2

і

х

і

і

3

х

і

і

х

4

х

х

х

і

де

і – істинне,

х – хибне,

V – «або» (зв’язка диз’юнкції),

- «Якщо... , то...» (зв’язка імплікації).

З таблиці істинності випливає, що вираз буде істинним практично при всіх значеннях змінних А і В (1, 2, 4-й рядки таблиці), за винятком одного (3 рядок таблиці), коли А – хибне, а В – істинне.

  1. Дайте приклад загально-заперечувального судження. Запишіть його в термінах логіки предикатів.

Стверджувати або заперечувати щось можна про один предмет, про частину предметів і про всі предмети класу. У відповідності з цим категоричні судження поділяють за кількістю і якістю. Загально-заперечувальним називається судження, в якому щось заперечується про цілий клас предметів.

Наприклад: “Ніхто з студентів немає права ігнорувати екзаменаційну сесію”.

Схематично дане судження можна зобразити так: “Всі S не є Р”. (SP)

  1. Побудуйте пряме доведення тези С, використовуючи такі аргументи:

А B, B v C, A ٨ C

Прямим називається доведення, в якому при обґрунтуванні тези не користуються суперечливими тезі припущеннями.

Припустимо, що А – істинне, тоді

А B, А звідси В v C, B

В C

Тезу С доведено.

6



1. Реферат на тему Здоровый образ жизни как условие гармоничного развития детей первичной профилактики заболеваний и 2
2. Реферат Сотовые системы связи
3. Реферат Теоретические основы товароснабжения предприятий общественного питания
4. Курсовая на тему Развитие видов и формуляра документов в учреждениях России XVIII в
5. Реферат на тему Сравнение цивилизации формации и культуры
6. Курсовая на тему Проектирование севооборотов системы обработки воспроизводства плодородия и комплексных мер борьбы
7. Реферат История развития экологии как науки 2
8. Реферат на тему Bipedalism The Path To The Future Essay
9. Реферат Личность, политическая деятельность, итоги Наполеона
10. Реферат Философия любви 10