Теми рефератів
> Реферати > Курсові роботи > Звіти з практики > Курсові проекти > Питання та відповіді > Ессе > Доклади > Учбові матеріали > Контрольні роботи > Методички > Лекції > Твори > Підручники > Статті Контакти
Реферати, твори, дипломи, практика » Новые рефераты » Логіка и множини

Реферат Логіка и множини





етаціямі. Вище наведені табліці істінності показують, что для двох складових існує Всього 4 інтерпретації. Если Трохи подуматі, то прійдемо до висновка, что три складові мают 23 = 8 інтерпретацій и взагалі, n складових мают 2n інтерпретацій. Вікорістовуючі цею Термін можна перефразуваті Означення 1.1 як: тавтологія - це пропозиція Істинна при всех інтерпретаціях ее складових. Керуючому ЦІМ означенность легко довести істінність Наступний пропозіцій:

Приклад 1. Вислови


В В 

є тавтології. Це Дає можлівість писати p ∧ q ∧ r без дужок, узагальнівші Поняття кон'юнкції для больше чем двох вісловів.

Приклад 2. Вислови


В В 

є тавтології. Це Дає можлівість писати p Гљ q Гљ r без дужок, узагальнівші Поняття діз'юнкції для больше чем двох вісловів.

Приклад 3. Віслів p в€Ё p є тавтологія. p> Приклад 4. Віслів (P в†’ q) В«(q в†’ p) Вє тавтологія. p> Приклад 5. Віслів (P в†’ q) В«(p в€Ё q) є тавтологія. p> Приклад 6. Віслів (P В«q)В« ((p в€Ё q) ∧ (p ∧ q)) Вє тавтологія; Про що свідчіть наступна таблиця істінності:


В 

Пропонуємо студентам довести, что наступні вислови є тавтології.

розподільний закон.


(a) (p ∧ (q ∨ r)) «((p ∧ q) ∨ (p ∧ r)); (b) (p ∨ (q ∧ r))« ((p ∨ q) ∧ (p ∨ r)).


Закон де Моргана.


(a) (p ∧ q) «(p ∨ q); (b) (p ∨ q)« (p ∧ q).


Правила виводу.


(a) (MODUS PONENS) (p ∧ (p → q)) → q;

(b) (MODUS TOLLENS) ((p → q) ∧ q) → p;

(c) (SYLLOGISM) ((p → q) ∧ (q → r)) → (p → r).

Всі ці закони з точки зору логікі є тавтології, что можна легко довести за помощью табліці істінності.

Означення 1. Говорять, что вислови p и q логічно еквівалентні, ЯКЩО віслів p В«q є тавтологія. p> Приклад 7. Вислови p в†’ q и q в†’ p логічно еквівалентні. Останній віслів назівають контра позіцією ПЕРШИЙ.

Зауваження. Вислови p в†’ q и q в†’ p НЕ є логічно еквівалентнімі. Останній назівається Обернений до першого. br/>

4. Функції висловлювань и множини


У багатьох випадка ми вжіваємо вислови типу "x є хлопця число ", что містять одну або декілька змінніх. Ми будемо назіваті їх функціямі висловлювань або пропозіцій. У Наведення прікладі віслів є істінній для одних значеннях х і хибний для других. Вінікають наступні питання:

Які Значення x Допустимі?

Чі віслів є істіннім при всех допустимих значень x?

При якіх самє допустимі значення x віслів є істіннім?

Щоб відповісті на ці питання нам нужно Поняття множини. Нехай Р є множини і х є елемент цієї множини. Цею факт позначають x в€€ P. Елементи множини можна Задати двома способами:

В· Перерахованих, Наприклад {1, 2, 3} означає множини, что Складається з чисел 1, 2, 3 и Нічого больше;

В· Визначеня Властивості (Функції висловлювань p (x)). У цьом випадка ВАЖЛИВО візначіті множини U допустимих значень x. Тоді Можемо напісаті


P = {x: x в€€ U и p (x) Істинно} або, просто, P = {x: p (x)}.


множини без Жодний елемента назівається пустою и позначається Г†.


N = {1, 2, 3, 4, 5, ...} назівається множини натуральних чисел.

Z = {. . . , -2, -1, 0, 1, 2,. . .} Назівається множини ціліх чисел.

{x: x в€€ N и -2 {x: x в€€ Z и -2 {x: x в€€ N и -1

5. Функції множини


Припустиме, что Функції вісловів p (x), q (x) відносяться до множини P, Q, тоб P = {x: p (x)} и Q = {x: q (x) } . Візначімо наступні Операції над множини перетин P ∩ Q = {x: p (x) ∧ q (x)};

об'єднання P в€Є Q = {x: p (x) в€Ё q (x)};

ДОПОВНЕННЯ CP = {x: p (x)};

різніцю P Q = {x: p (x) ∧ q (x)}.

Ці Означення легко перефразуваті у форму


P ∩ Q = {x: x в€€ P и x в€€ Q};

P в€Є Q = {x: x в€€ P або x в€€ Q};

СP = {x: x ГЏ P};

P Q = {x: x в€€ P и x ГЏ Q}.

множини P є підмножіною Q и позначається P вЉ† Q або Q вЉ‡ P, ЯКЩО КОЖЕН елемент P є елементом Q. Іншімі словами, для множини P = {x: p (x)} и Q = {x: q (x)} маємо P вЉ† Q тоді и Тільки тоді, коли p (x) в†’ q (x) для всіх допустимих значень x в€€ U.

множини P и Q назіваються рівнімі P = Q ЯКЩО смороду містять ті ж Самі елєменти, іншімі словами, ЯКЩО P вЉ† Q и Q вЉ† P.

множини P назівається, власною підмножіною Q и позначається P вЉ‚ Q або Q вЉѓ P, ЯКЩО P вЉ† Q и P В№ Q.

Наступні Властивості функцій множини могут буті легко доведені на Основі їх аналогів в логіці.

розподільний закон. Если P, Q, R є множини, то


(a) P ∩ (Q ∪ R) = (P ∩ Q) ∪ (P ∩ R);

(b) P ∪ (Q ∩ R) = (P ∪ Q) ∩ (P ∪ R).

логіка тавтологія еквівалентність квантіфікатор

Закон де Моргана. Если P, Q є множини, то


(a) С (P...


Назад | сторінка 2 з 3 | Наступна сторінка





Схожі реферати:

  • Реферат на тему: Вимірні множини
  • Реферат на тему: Множини. Функція та її безперервність
  • Реферат на тему: Методика викладання курсу множини та відношень в сучасній школі
  • Реферат на тему: Процес ДІЯЛЬНОСТІ вчителя и учня при вівченні множини и відношень
  • Реферат на тему: Множини і комбінаторика. Апаратне забезпечення персонального комп'ютер ...