UkrReferat.com
найбільша колекція україномовних рефератів

Всього в базі: 75834
останнє поновлення: 2016-11-29
за 7 днів додано 10

Реферати на українській
Реферати на російській
Українські підручники

$ Робота на замовлення
Реклама на сайті
Зворотній зв'язок

 

ПОШУК:   

реферати, курсові, дипломні:

Українські рефератиРусские рефератыКниги
НазваПрактичні завдання з логіки (контрольна)
Авторdimich
РозділЛогіка, формальна логіка, юридична логіка
ФорматWord Doc
Тип документуКонтрольна
Продивилось3376
Скачало1179
Опис
ЗАКАЧКА
Замовити оригінальну роботу

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

 

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

 

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

атмосфера, кисень.

 

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

 

1. А (B

 

2. A .

 

3. B

 

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

істинним?

 

(А V B) ( A

 

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

термінах логіки предикатів.

 

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

 

А ( B, B v C, A ? C

 

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

 

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

атмосфера, кисень.

 

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

так:

 

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

 

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

 

С – кисень.

 

Вид відношення між поняттями повітря і атмосфера – перехрещення,

оскільки не всі атмосфери мають повітря (атмосфери зірок тощо), між

поняттями атмосфера і кисень – також відношення перехрещення, оскільки

не всі атмосфери містять кисень (атмосфера Сатурна тощо); між поняттями

повітря і кисень – відношення підпорядкування, оскільки об’єм поняття

кисень повністю включає в себе об’єм поняття повітря.

 

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

 

1. А (B

 

2. A .

 

3. B

 

Демонстративним називається умовивід, у якому висновок з необхідністю

витікає із засновків, тобто логічна послідовність в таких міркуваннях

представляє собою логічний закон. У запропонованих засновках 1 і 2

висновок 3 слідує з необхідністю (згідно логічного зв’язку –

імплікації). Отже, даний умовивід є демонстративним.

 

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

істинним?

 

(А V B) ( A

 

 

А В (А V В) ( A

 

1 і і і і

 

2 і х і і

 

3 х і і х

 

4 х х х і

 

 

 

де

 

і – істинне,

 

х – хибне,

 

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

 

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

 

З таблиці істинності випливає, що вираз буде істинним практично при всіх

значеннях змінних А і В (1, 2, 4-й рядки таблиці), за винятком одного

(3 рядок таблиці), коли А – хибне, а В – істинне.

 

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

термінах логіки предикатів.

 

Стверджувати або заперечувати щось можна про один предмет, про частину

предметів і про всі предмети класу. У відповідності з цим категоричні

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

називається судження, в якому щось заперечується про цілий клас

предметів.

 

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

сесію”.

 

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

 

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

 

А ( B, B v C, A ? C

 

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

користуються суперечливими тезі припущеннями.

 

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

 

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

 

В C

 

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

 

PAGE 6

 

С

 

В

 

А

 

0

ЗАМОВИТИ ОРИГІНАЛЬНУ РОБОТУ