Банк рефератов содержит более 364 тысяч рефератов, курсовых и дипломных работ, шпаргалок и докладов по различным дисциплинам: истории, психологии, экономике, менеджменту, философии, праву, экологии. А также изложения, сочинения по литературе, отчеты по практике, топики по английскому.
Полнотекстовый поиск
Всего работ:
364150
Теги названий
Разделы
Авиация и космонавтика (304)
Административное право (123)
Арбитражный процесс (23)
Архитектура (113)
Астрология (4)
Астрономия (4814)
Банковское дело (5227)
Безопасность жизнедеятельности (2616)
Биографии (3423)
Биология (4214)
Биология и химия (1518)
Биржевое дело (68)
Ботаника и сельское хоз-во (2836)
Бухгалтерский учет и аудит (8269)
Валютные отношения (50)
Ветеринария (50)
Военная кафедра (762)
ГДЗ (2)
География (5275)
Геодезия (30)
Геология (1222)
Геополитика (43)
Государство и право (20403)
Гражданское право и процесс (465)
Делопроизводство (19)
Деньги и кредит (108)
ЕГЭ (173)
Естествознание (96)
Журналистика (899)
ЗНО (54)
Зоология (34)
Издательское дело и полиграфия (476)
Инвестиции (106)
Иностранный язык (62792)
Информатика (3562)
Информатика, программирование (6444)
Исторические личности (2165)
История (21320)
История техники (766)
Кибернетика (64)
Коммуникации и связь (3145)
Компьютерные науки (60)
Косметология (17)
Краеведение и этнография (588)
Краткое содержание произведений (1000)
Криминалистика (106)
Криминология (48)
Криптология (3)
Кулинария (1167)
Культура и искусство (8485)
Культурология (537)
Литература : зарубежная (2044)
Литература и русский язык (11657)
Логика (532)
Логистика (21)
Маркетинг (7985)
Математика (3721)
Медицина, здоровье (10549)
Медицинские науки (88)
Международное публичное право (58)
Международное частное право (36)
Международные отношения (2257)
Менеджмент (12491)
Металлургия (91)
Москвоведение (797)
Музыка (1338)
Муниципальное право (24)
Налоги, налогообложение (214)
Наука и техника (1141)
Начертательная геометрия (3)
Оккультизм и уфология (8)
Остальные рефераты (21697)
Педагогика (7850)
Политология (3801)
Право (682)
Право, юриспруденция (2881)
Предпринимательство (475)
Прикладные науки (1)
Промышленность, производство (7100)
Психология (8694)
психология, педагогика (4121)
Радиоэлектроника (443)
Реклама (952)
Религия и мифология (2967)
Риторика (23)
Сексология (748)
Социология (4876)
Статистика (95)
Страхование (107)
Строительные науки (7)
Строительство (2004)
Схемотехника (15)
Таможенная система (663)
Теория государства и права (240)
Теория организации (39)
Теплотехника (25)
Технология (624)
Товароведение (16)
Транспорт (2652)
Трудовое право (136)
Туризм (90)
Уголовное право и процесс (406)
Управление (95)
Управленческие науки (24)
Физика (3463)
Физкультура и спорт (4482)
Философия (7216)
Финансовые науки (4592)
Финансы (5386)
Фотография (3)
Химия (2244)
Хозяйственное право (23)
Цифровые устройства (29)
Экологическое право (35)
Экология (4517)
Экономика (20645)
Экономико-математическое моделирование (666)
Экономическая география (119)
Экономическая теория (2573)
Этика (889)
Юриспруденция (288)
Языковедение (148)
Языкознание, филология (1140)

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

Название: Логіка і множини
Раздел: Рефераты по математике
Тип: реферат Добавлен 02:25:47 25 февраля 2011 Похожие работы
Просмотров: 52 Комментариев: 3 Оценило: 0 человек Средний балл: 0 Оценка: неизвестно     Скачать

Міністерство освіти і науки України

Реферат

на тему"Логіка і множини"

з дисципліни "Дискретна математика"

Харків 2011


Зміст

Вступ

1. Логічні операції над пропозиціями

2. Таблиця істинності

3. Тавтологія і логічна еквівалентність

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

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

6. Логіка квантифікаторів

Література


Вступ

Пропозиція це виcлів (твердження), який може бути істинним або хибним – третього не дано. В цьому полягає один із фундаментальних принципів логіки – принцип виключення третього. Істинність і хибність називаються логічними значеннями пропозиції. Пропозиція "2 + 2 = 4" істинна, а "p є раціональне число" хибна. З точки зору граматики пропозиція є речення – закінчена думка. Будемо розрізняти елементарні пропозиції і складні. Елементарній пропозиції відповідає просте речення з простими підметом і присудком. Виясняти, який з окремих елементарних висловів є істинним чи хибним, не є завданням логіки. Логіка займається знаходженням логічних значень складних пропозицій при умові, що логічні значення складових елементарних пропозицій відомі. Існує багато тверджень, істинність або хибність яких нікому не вдається довести. Наприклад, відома теорема Гольдбаха що "кожне парне число більше 2 є сумою двох простих чисел". В даному вище означенні пропозиції є великий дефект, згідно нього не завжди можна визначити, чи є дане твердження пропозицією. Наприклад, вираз "Я завжди говорю неправду". Тому інколи замість замість терміну "пропозиція" вживають більш нейтральний термін "вислів", в цьому разі не обов’язково треба знати, істинний вислів чи хибний.


1. Логічні операції над пропозиціями

Спочатку з’ясуємо правила з’єднання висловівдля одержання нових висловів. Позначимо довільні вислови pі q.

Означення 1. (Кон’юнкція) Говорять, що вислів p∧q(pі q) істинний, якщо обидва вислови p, qістинні і хибний в противному випадку.

Приклад 1. Вислів "2 + 2 = 4" і "2 + 3 = 5" є істинним.

Приклад 2. Вислів "2 + 2 = 4" і "pє число раціональне" хибний.

Означення 2. (Диз’юнкція). Говорять, що вислів p∨q(pабо q) хибний, якщо хоча б один з висловів p, qістинний, і хибний в противному випадку.

Приклад 3. Вислів "2 + 2 = 2" або"1 + 3 = 5" хибний.

Приклад 4. Вислів "2 + 2 = 4" або "pє число раціональне" істинний.

Означення 3. (Заперечення) Говоримо, щоp(неp) істинний, якщоpхибний, і навпаки, хибний, якщо piстинний.

Зауваження. В деяких підручниках замість pвживають позначення , в залежності від зручності ми будемо користуватися обома.

Приклад 5. Заперечення вислову "2 + 2 = 4" є вислів "2 + 2 ¹ 4".

Приклад 6. Заперечення вислову"pє число раціональне" є вислів "pє число ірраціональне". Означення 4. (Імплікація).Говорять, що вислів p→q(якщо p, то q) істинний, якщо pхибний, або qiстинний, або обидва істинні і хибний в противному випадку.Зауваження. Простіше визначити вислів p→qяк хибний у випадку, коли pістинний, а qхибний. Це треба розуміти наступним чином. Якщо ми зробили хибний висновок з істинного, то наше міркування помилкове. Але допускаємо, що істинний висновок може бути одержаний і з хибного припущення.

Приклад 7. Вислів "якщо 2 + 2 = 2", то"1 + 3 = 5" істинний, тому що вислів "2 + 2 = 2" хибний.

Приклад 8. Вислів "якщо 2 + 2 = 4", то "pє число раціональне" хибний.

Приклад 9. Вислів "якщо pє число раціональне" , то "2 + 2 = 4" істинний.

Означення 5. (Еквівалентність) Говорять, що вислів p«q(pтоді і лише тоді, колиq) істинний у випадку, коли p, qістинні або хибні одночасно і хибний в противному випадку.

Приклад 10. Вислів "2 + 2 = 4" тоді і лише тоді, коли "pє число раціональне" істинний.

Приклад 11. Вислів"2 + 2 ¹ 4" тоді і лише тоді, коли "pє число раціональне" також істинний.

2. Таблиця істинності

Якщо вжити Т "true" для позначення істинного вислову і F"false" для хибного, вище наведені означення можуть бути представлені у вигляді таблиці істинності "truthtable":

Приклад 1 Побудуємо таблицю істинності для більш складної логічної конструкції


3. Тавтологія і логічна еквівалентність

Означення 1. Тавтологія це істинний в логічному значенні вислів.

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

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

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

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

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

Приклад 3. Вислівp∨pє тавтологія.

Приклад 4. Вислів (p→q) «(q→p) є тавтологія.

Приклад 5. Вислів (p→q) «(p∨q) є тавтологія.

Приклад 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є тавтологія.

Приклад 7. Вислови p→qі q→pлогічно еквівалентні. Останній вислів називають контра позицією першого.

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

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 < 2} = {1}.

{x : x∈Zі-2 < x < 2} = {-1, 0, 1}.

{x: x∈Nі-1 < x < 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∩Q) = СP∪ СQ;

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

Зробимо це, наприклад, для першого розподільного закону. Припустимо, що функції p(x), q(x), r(x) відносяться до множин P, Q, R, тобто P= {x: p(x)}, Q= {x: q(x)} і R= {x: r(x)}. Тоді


P∩(Q∪R) = {x: p(x) ∧(q(x) ∨r(x))}

(P∩Q) ∪(P∩R) = {x: (p(x) ∧q(x)) ∨(p(x) ∧r(x))}.

Припустимо, що x∈P∩(Q∪R). Тоді p(x) ∧(q(x) ∨r(x)) істинно. По першому розподільному закону для логічних функцій маємо тавтологію

(p(x) ∧(q(x) ∨r(x))) «((p(x) ∧q(x)) ∨(p(x) ∧r(x)))

Звідси слідує, що (p(x) ∧q(x)) ∨(p(x) ∧r(x)) істинно, так що x∈(P∩Q) ∪(P∩R). А це значить, що

(1) P∩(Q∪R) ⊆(P∩Q) ∪(P∩R).

Тепер припустимо, що x∈(P∩Q) ∪(P∩R). Тоді (p(x) ∧q(x)) ∨(p(x) ∧r(x)) істинно. З першого розподільного закону для логічних функцій слідує, що p(x) ∧(q(x) ∨r(x)) істинно, так що x∈P∩(Q∪R). Це дає

(2) (P∩Q) ∪(P∩R) ⊆P∩(Q∪R).

Потрібний результат слідує з (1) і (2).

6. Логіка квантифікаторів

Повернемось до прикладу"xє парне число". Обмежимо xмножиною цілих чисел Z . Tоді вислів "xє парне число" істинний лише для деяких xвZ. Звідси слідує, що вислів "деякіx∈Zпарні" істинний, якщо вислів "всіx∈Z непарні" хибний.

В загальному випадку розглянемо функцію вислів p(x) в якій змінна xналежить певній множині. Введемо наступні позначення для висловів

∀x, p(x) (для всіхx, p(x) істинний);

і

∃x, p(x) (для деякихx, p(x) істинний).

Символ ∀(для всіх) і ∃(для деяких) називаються відповідно універсальним квантифікатором і квантифікатором існування. Зауважимо, що змінна xне є суттєва, вона може бути замінена будь якою іншою, так що ∀x, p(x) і ∀y, p(y) означають одне й те ж саме.

(Теорема Лагранжа) Кожне натуральне число є сума квадратів чотирьох цілих чисел. Це можна записати як

∀n∈N, ∃a, b, c, d∈Z, n= a2 + b2 + c2 + d2.

(Гіпотеза Гольдбаха) Кожне парне число більше 2 є сума двох простих чисел. Це можна записати як

∀n∈N\ {1}, ∃p, qпрості, 2n= p+ q.

Ще невідомо, чи це дійсно так. Це одна з найцікавіших з ще не розв’язаних проблем математики.

Заперечення

Розглянемо заперечення висловів з квантифікаторами. Давайте скажемо, що всі люди дурні. Дехто з вас з цим не погодиться. Можна здогадатися, що запереченням вислову ∀x, p(x) буде вислів ∃x, p(x).Тепер будемо не так категоричними і скажемо, що дехто з вас дурень. Якщо і цього разу заперечите, то запереченням вислову∃x, p(x) буде ∀x, p(x). Отже, маємо формули аналогічні законам де Моргана для квантіфікаторів

∀x, p(x) «∃x, p(x)

∃x, p(x) «∀x, p(x).

Підсумовуючи сказане, заперечуючи вислів з кавантифікатрором ми змінюємо квантифікатор і заперечуємо функцію висловів. Застосовуючи це правило послідовно декілька раз одержимо заперечення більш складного вислову

спочатку як

Потім

Потім


і, нарешті,

Запереченням гіпотези Гольдбаха в термінах квантифікаторів буде

∃n∈N\ {1}, ∀p, qпрості числа, 2n¹p+ q.

Іншими словами, існує парне число більше 2, яке не є сумою двох простих чисел. Отже, щоб відкинути гіпотезу Гольдбаха досить знайти таке число. Це називається "привести контр приклад".


Література

1. Вища математика: Основні означення, приклади і задачі. У 2-х кн. / За ред. І.П.Васильченко. _ К: Либідь, 1994.- 280 ст.

2. Шкіль М.І. Вища математика: Підручник у 3-х кн./ Шкіль М.І., Колеснік Т.В., Котлова В.М. – К.: Либідь, 1994.

3. Вища математика: Основні означення, приклади і задачі. У 2-х кн. / За ред. Г.Л. Кулініча: Підручник К.: Либідь, 1994.

4. Кудрявцев В.А., Демидович Б.П. Краткий курс высшей математики. - М.: Наука, 1985.

5. Карасев А.И., Аксютина Э.М., Савельева Т.И. Курс высшей математики для экономических вузов. М.: Высшая школа. ч. 1,2. 1990.

6. Пискунов Н.С. Дифференциальное и интегральное исчисление. - М.: Наука, 1988, т.1,2.

7. Ильин В.Н., Позняк З.Г. Аналитическая геометрия. М. :Наука, 1984.

8. Ильин В.Н., Позняк З.Г. Линейная алгебра. М.: Наука, 1989.

9. Бахвалов С.В. Аналитическая геометрия. - М.: Высшая школа, 1992.

10. Цубербиллер О.Н. Задачи по аналитической геометрии. М.: Высшая школа, 1984.

Оценить/Добавить комментарий
Имя
Оценка
Комментарии:
Где скачать еще рефератов? Здесь: letsdoit777.blogspot.com
Евгений08:04:06 19 марта 2016
Кто еще хочет зарабатывать от 9000 рублей в день "Чистых Денег"? Узнайте как: business1777.blogspot.com ! Cпециально для студентов!
12:02:10 29 ноября 2015
Кто еще хочет зарабатывать от 9000 рублей в день "Чистых Денег"? Узнайте как: business1777.blogspot.com ! Cпециально для студентов!
10:02:04 29 ноября 2015

Работы, похожие на Реферат: Логіка і множини

Назад
Меню
Главная
Рефераты
Благодарности
Опрос
Станете ли вы заказывать работу за деньги, если не найдете ее в Интернете?

Да, в любом случае.
Да, но только в случае крайней необходимости.
Возможно, в зависимости от цены.
Нет, напишу его сам.
Нет, забью.



Результаты(150351)
Комментарии (1830)
Copyright © 2005-2016 BestReferat.ru bestreferat@mail.ru       реклама на сайте

Рейтинг@Mail.ru