Практичні завдання з логіки (контрольна робота), реферат
Неділя, 04.12.2016, 09:04
Реферати безкоштовно
Головна Реєстрація Вхід
Приветствую Вас, Гість · RSS
Форма входа
Меню сайта
Пошук
Оплачена реклама
Наше опитування
Ви ще до нас повернетесь?
Всього відповідей: 4418
Статистика

Онлайн всього: 1
Гостей: 1
Користувачів: 0
 Каталог файлов
Головна » Файли » Реферати » Логіка

Практичні завдання з логіки (контрольна робота)
21.11.2012, 19:54




Скачати реферат

Практичні завдання з логіки (контрольна робота)


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

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

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

1. А àB

2. A .

3. B

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

(А V cool à A

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

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

А à B, B v C, A ٨ C



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

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

С

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

А



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

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

С – кисень.

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

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

1. А àB

2. A .

3. B

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

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

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

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

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

А à B, B v C, A ٨ C

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

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

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

В C

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

Реферат на тему: Практичні завдання з логіки (контрольна робота)

Схожі реферати:
Категорія: Логіка | Додав: gdomz | Теги: (контрольна, завдання, робота), Практичні, логіки, Логіка
Переглядів: 555 | Загрузок: 118 | Рейтинг: 0.0/0
Всього коментарів: 0
Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]
Copyright MyCorp © 2016
Адміністрація не несе відповідальності за матеріалів розміщені на сайті! Усі матеріали предсталені для ознайомлення! Конструктор сайтів - uCoz | Карта сайта
gdomz.at.ua - готовые домашние задания, Готовые домашние работы. Скачать бесплатно гдз. Решебники. Скачать решебники. Решебники по всем предметам. Скачать бесплатно решебники. Решебники.