Завдання до виконання. 1. Формалізувати речення

1. Формалізувати речення.

а) Я піду додому або залишуся тут і вип'ю чашку чаю, я не піду додому,отже я залишуся і вип'ю чашку чаю.

б) Якщо Олег ляже сьогодні пізно, він буде вранці в отупінні, якщо він ляже не пізно, то йому здаватиметься, що не варто жити, отже або Олег буде завтра в отупінні, або йому здаватиметься, що не варто жити.

в) Заперечення диз’юнкції двох висловлювань еквівалентно кон’юнкції заперечень кожного з цих висловлювань.

г) Якщо 2 – просте число, то це найменше просте число, якщо 2 – найменше просте число, то 1 не є прости числом; число 1 не є простим числом, отже 2 – просте число.

д) Ігор або втомився, або хворий, якщо він втомився, то він злий; він не злий, отже, він хворий.

е) Якщо завтра буде холодно, я одягну тепле пальто, якщо рукав буде полагоджений; завтра буде холодно, а рукав не буде полагоджений, отже, я не одягну тепле пальто.

ж) Ні Північ, ні Південь не перемогли в громадянській війні.

з) Людину не підкуплять лестощі, якщо розум у людини є.

и) Іван прийде на іспит і він або Сергій отримає п’ятірку.

к) Якщо не можеш визнати похвали заслуженими, то вважай їх лестощами.

2. Побудувати таблицю істинності для висловлювань:

а) ;

б) ;

в) ;

г) .

3. Побудовою таблиць істинності вияснити чи є тавтологіями висловлювання а – д:

а) ;

б) ;

в) ;

г) ;

д) .

4. Побудовою таблиць істинності вияснити, чи є запереченням висловлювання а – д:

а) ;

б) ;

в) ;

г) ;

д) .

5. Еквівалентними перетвореннями перевірити, чи є тавтологіями висловлювання а – д:

а) ;

б) ;

в) ;

г) ;

д) .

6. За означенням без побудови таблиць істинності та виконання еквівалентних перетворень перевірити, чи є тавтологіями висловлювання а – г:

а) ;

б) ;

в) ;

г) .

7. Використовуючи комбінований спосіб визначити, чи є тавтологіями формули а – д:

а) ;

б) ;

в) ;

г) ;

д) .

8. Які формули є тавтологіями(завжди істинні)?

а) ;

б) ;

в) ;

г) ;

д) .

9. Які формули є еквівалентними до формули ?

a) ; б) ;

в) ; г) .

10. Які твердження істинні?

а) Формула еквівалентна формулі .

б) Формула еквівалентна формулі .

в) Формула еквівалентна формулі .

11. Зобразити висловлювання виключно за допомогою операцій і .

12. Зобразити висловлювання виключно за допомогою операцій і .

13. Зобразити висловлювання виключно за допомогою операцій і .

14. Зобразити висловлювання виключно за допомогою операцій і .

15. Довести, що формули еквівалентні:

а) та ;

б) та ;

в) та .

16. Перевірити, чи еквівалентні формули:

а) та ;

б) та ;

в) .

17. Зобразити висловлювання формулою над множиною логічних зв'язок .

18. Зобразити висловлювання формулою над множиною логічних зв'язок .

19. Який із законів дистрибутивності = та = виконується, якщо замінити логічні зв’язки, позначені символами «*» та «», поданими у таблиці:

*	Ù	Ù	Ù	Ú	Ú	Ú	Å	Å	Å
	Å	®	~	Å	®	~	Ù	Ú	®
*	Å	®	®	®	®	~	~	~	~
	~	Ù	Ú	Å	~	Ù	Ú	Å	®

20. Аналогічно із завданням 19 визначити, для яких логічних зв’язок виконуються закони:

а) асоціативності; б) комутативності; в) ідемпотентності,

д) поглинання; г) закони де Моргана.

21. Виведіть співвідношення для сталих для операцій імплікації, еквівалентності, альтернативного або.

22. Предикат означає x = x-y. Предметною областю кожної змінної є множина цілих чисел. Знайти значення істинності висловлювань:

а) Q(1,1); б) Q(2,0);

в) ; г) ;

д) ; е) ;

є) ; ж) ;

з) ; и) .

23. Предметною областю кожної змінної є множина {1,2,3}. Записати висловлювання логічних зв’язок кон'юнкції та диз'юнкції:

а) ;б) ;

в) ;г) ;

д) ;е) .

24. Предикат означає , а предметною областю змінної х є множина цілих чисел. Знайти значення істинності висловлювань а–д:

а) P(1); б) P(2);

в) P(0); г) ;

д) .

25. Побудувати випереджену нормальну форму:

а) ;

б) .

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

першого ступеня. Записати отримані висловлювання словами:

а) кожний студент групи любить математику;

б) у групі є студент, який ніколи не бачив комп'ютера;

в) у групі є студент, який прослухав усі запропоновані математичні курси;

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

27. Змінні х та y набувають значень із множини {0, 1, 2}. Записати формулу, еквівалентну до висловлювань, без використання кванторів:

а) ;

б) ;

в) ;

г) .

28. Позначення відповідає реченню "У предметній області

існує таке єдине х, що Р (х) істинне". Нехай множина цілих чисел є предметною областю змінної х. Знайти значення істинності формул а - е:

а) ; б) ;

в) ; г) ;

д) ; е) .

29. Здана предметна область М={1,2,3} змінної х. Записати висловлювання з допомогою заперечення, кон'юнкції та диз'юнкції.

30. Записати формулу еквівалентну без використання квантора загальності.

31. Змінні х та y набувають значень із множини {0, 1, 2}. Записати формулу без використання кванторів, еквівалентну до висловлювання: .

32. Змінні х та y набувають значень із множини {1, 2, 3}. Записати формулу без використання кванторів, еквівалентну до висловлювання: .

33. Змінні х та y набувають значень із множини {1, 2, 3}. Записати формулу без використання кванторів, еквівалентну до висловлювання: .

34. Записати формулу без використання квантору загальності, еквівалентну до висловлювання: .

35. Записати формулу без використання квантору існування, еквівалентну до висловлювання: .

9. Контрольні запитання.

1. Що таке висловлювання?

2. Що таке атомарна формула, як її позначити?

3. На прикладі пояснити поняття логічних зв’язок.

4. Що таке формула та які її особливості?

5. На прикладах пояснити, яка формула називається n -місною.

6. Дати означення тавтології, протиріччя.

7. На прикладах пояснити використання таблиць істинності.

8. На прикладах показати використання законів логіки висловлювань.

9. Які існують способи доведення логічних рівностей?

10. Які логічні операції є унарними, а які бінарними?

11. Що таке випереджальна нормальна формула?

12. Який алгоритм перетворення формули у випереджальну нормальну?

13. Що таке квантифікація?

14. Що таке предикат, n -місний предикат?

СПИСОК ЛІТЕРАТУРИ

1. Андерсон Д. Дискретная математика и комбинаторика. – СПб.: Вильямс. – 2003. – 960 с.

2. Капітонова Ю. В., Кривий С. Л., Летичевський О. А., Луцький Г. М., Печурін М. К. Основи дискретної математики. – К.: Наукова думка. – 2002. – 626 с.

3. Кузнецов О. П, Адельсон-Вельский Г. М. Дискретная математика для инженера. – М.: Знергоатомиздат, 1988. – 480 с.

4. Нефедов В.И., Осикова В. А. Курс дискретной математики. – М.:Изд-во МАИ. – 1992. – 264 с.

5. Нікольський Ю.В., Пасічник В.В., Щербина Ю.М. Дискретна математика: Підручник. – Л.: «Магнолія Плюс». – 2005. – 608 с.

6. Новиков Ф. А. Дискретная математика для программистов. – СПб.: Питер. – 2000. – 364 с.

7. Яблонский С. В. Введение в дискретную математику. – М.: Наука. – 1986. – 384 с.

НАВЧАЛЬНЕ ВИДАННЯ

ОСНОВИ ЛОГІКИ

Поиск по сайту: