Висловлення. Історія Слово логіка походить від грецького логос і означає слово, поняття, розум. Тому логіка має безпосереднє відношення до наших міркувань, - презентация

1 Висловлення

2 Історія Слово логіка походить від грецького логос і означає слово, поняття, розум. Тому логіка має безпосереднє відношення до наших міркувань, висновків, правильної побудови речень. Логіка, як наука виникла ще в стародавні часи близько 2,5 тисяч років тому в Індії, Китаї, Греції.

3 Великий давньогрецький мислитель і філософ Аристотель ( р.до н.е.) заклав основи логіки як науки. Аристотелеву логіку називали ще класичною, формальною логікою. Формальною тому, що вона вивчала форми мислення, не беручи до уваги змісту.

4 Формальна логіка в Стародавній Греції розвивалась у звязку з геометрією та граматикою. Наприкінці ст. формальна логіка спиралась на природну мову, тому її називали ще традиційною логікою. Пізніше в логіку були введені спеціальні позначення – символи, а також дії

5 Ідею побудови математичної логіки вперше чітко сформулював великий німецький математик і філософ Лейбніц ( ). А народження математичної логіки відносять до середини 19ст., коли англійський математик Джордж Буль( ) видав свою книгу Математичний аналіз логіки.

6 Застосування Сучасна логіка знайшла своє широке застосування в математиці, техніці, мовознавстві, біології, фізиці; вона вважається теоретичним фундаментом розвитку кібернетики та створення електронно- обчислювальних машин. Її мета – дослідження того, як з одних істинних тверджень можна вивести інші істинні твердження.

7 Означення Отже, логіка – це наука про закони і форми правильного мислення.

8 Основним поняттям у логіці є висловлення. Під висловленням розуміють розповідне речення, яке виражає закінчену думку і про яке можна цілком певно сказати, істинне воно чи хибне. Якщо про речення не можна сказати – істинне воно чи хибне, то воно не буде висловленням.

9 Питальні та окличні речення також не розглядаються як висловлення. Прості висловлення позначаються великими латинськими буквами А, В, С. Вводяться символічні позначення: 1 – істинне висловлення 0 – хибне висловлення

10 Сума кутів трикутника дорівнює сто вісімдесят градусів.

11 Чи буде дане речення висловленням? Так. Оскільки дане речення є висловленням, бо має закінчену думку, то цілком певно можна сказати, що воно є істинним. Отже, А=1.

12 Речення В 29:3=7

13 Хибне чи істинне дане речення і чи буде воно висловленням? Дане речення є висловленням, але є хибним, отже В=0

14 Речення С Котра година?

15 Дане речення не є висловленням, оскільки не має закінченої думки і ми не можемо сказати – істинне воно чи хибне.

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

17 Конюнкція Складне речення, утворене з двох простих за допомогою сполучника і, називається конюнкцією

18 Приклад А: Число 15 ділиться на 3 В: Число 15 ділиться на 5 Конюнкція А і В: Число 15 ділиться на 3 і число 15 ділиться на 5.

19 А: Влітку ми поїдемо в Крим В: Відвідаємо Асканію - Нову Конюнкція А і В : Влітку ми поїдемо в Крим і відвідаємо Асканію- Нову

20 Означення Конюнкцією (логічним добутком) висловлень А і В називається складне висловлення, яке істинне тоді і тільки тоді, коли істинне кожне з висловлень А і В, і хибне, коли принаймні одне із висловлень А чи В хибне.

21 Дизюнкція Складне речення, утворене з двох простих речень шляхом обєднання їх сполучником або, називається дизюнкцією

22 Приклади А: По дорозі до школи я зустрічаю Уляну В: По дорозі до школи я зустрічаю Сашка Дизюнкцією А і В: По дорозі до школи я зустрічаю Уляну або Сашка

23 С: Натуральне число може бути парним Д: Натуральне число може бути непарним Дизюнкцією С і Д: Натуральне число може бути парним або непарним

24 Дизюнкцією ( логічною сумою) висловлень А і В називається складне висловлення А або В, яке істинне, якщо істинне принаймні одне з висловлень А чи В, і хибне, коли обидва висловлення А і В хибні.

25 Імплікація Складне речення, утворене з двох простих речень за допомогою сполучника якщо…, то називається імплікацією

26 Приклади А називають засновком (умовою) В називають висновком (наслідком) А: Число ділиться на 9 В: Число ділиться на 3 Імплікацією А і В: Якщо число ділиться на 9, то воно ділиться на 3

27 А: У трикутнику два кути рівні В: Трикутник рівнобедрений Імплікацією А і В: Якщо у трикутнику два кути рівні, то він рівнобедрений

28 Імплікацією висловлень А і В називається висловлення А імплікація В, яке хибне тоді й тільки тоді, коли засновок істинний, а висновок хибний.

29 Еквіваленція Складне речення, утворене з двох простих за допомогою сполучника тоді і тільки тоді, коли, називається еквіваленцією

30 Приклади А: Натуральне число ділиться на 3 В: Сума цифр числа ділиться на 3 Еквіваленція А і В: Натуральне число ділиться на 3 тоді і тільки тоді, коли сума цифр даного числа ділиться на 3.

31 С: Трикутник є прямокутним Д: Один з кутів у трикутнику дорівнює девяносто градусів Еквіваленція А і В: Трикутник – прямокутний тоді і тільки тоді, коли один з його кутів дорівнює девяносто градусів.

32 Еквіваленцією висловлень А і В називається складне висловлення А рівносильне В, яке істинне тоді й тільки тоді, коли обидва прості висловлення А і В істинні або обидва хибні.

33 Завдання Складіть таблицю істинності двох висловлень А і В

34 Таблиця істинності АВ КонюнкціяДизюнкціяімплікаціяеквіваленція

35 Заперечення Речення, утворене за допомогою частки не, називається запереченням

36 Приклади А: Трикутник має три вершини Запереченням висловлення А: Трикутник не має три вершини

37 Означення Запереченням висловлення А називається висловлення не А, яке істинне, якщо А хибне, і хибне, якщо А істинне.

38 Порядок дій З математики відомо, що, маючи вираз, ми спочатку виконуємо дії множення, ділення, а потім додавання, віднімання. Якщо у виразі є дужки, то виконуємо спочатку дії в дужках. У логіці дії мають певний порядок:

39 Заперечення Конюнкція Дизюнкція Імплікація Еквіваленція

40 Висновок Математика й логіка розум у порядок приводять