Заняття 6. Семантичні методи класичної логіки вислов-

лювань (2 год)

а) встановлення відношення між складеними судженнями за допомогою таблиць істинності;

б) перевірка правильності дедуктивних умовиводів: 1) спільна для засновків і висновку таблиця істинності; 2) “спростовуючий рядок”; 3) аналітичні таблиці;

в) здійснення операцій над складеними судженнями: заперечення, еквівалентні перетворення;

г) застосування алгебри логіки: 1) зведення до мінімальної КНФ, огляд простих наслідків; 2) зведення до мінімальної ДНФ, огляд простих гіпотез.

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

1. У чому полягає специфіка КЛВ?

2. Що таке пропозиційна змінна і яку функцію вона виконує в

мові КЛВ?

3. Який сполучник називається головним сполучником форму-

ли мови КЛВ?

4. Які судження відносяться до складених асерторичних суд-

жень?

5. Як визначити логічну форму складеного асерторичного су-

дження?

6. Що таке таблиця істинності? Як і для чого вона будується?

7. Як за допомогою таблиці істинності визначити, чи знаходять-

ся дані формули у відношенні:

а) сумісності за істинністю

б) сумісності за хибністю

в) суперечності

г) еквівалентності

д) логічного слідування?

8. Як можна використати закони де Моргана для заперечення

складених суджень?

9. Як за допомогою таблиці істинності довести правильність

заперечення даного судження?

10. Як можна обґрунтувати закони де Моргана у КЛВ?

11. В яких випадках використовується операція еквівалентних

перетворень у КЛВ?

12. Як привести формулу до кон’юнктивної нормальної форми

(КНФ)? Для чого використовується дана операція?

13. Для чого використовується операція приведення формули

до диз’юнктивної нормальної форми (ДНФ)?

14. Як використовуються операції зведення до ДНФ і КНФ для

перевірки правильності дедуктивних міркувань?

15. Як використовуються таблиці істинності для перевірки пра-

вильності дедуктивних міркувань?

16. У чому сенс методу "одного рядка"? Для чого він викорис-

товується?

17. Що таке аналітична таблиця? Як і для чого вона використо-

вується?

18. Сформулюйте аналітичні правила для кожного логічного сполучника.

Задачі і вправи.

1. Опираючись на індуктивне визначення формули мови КЛВ визначте, які з наведених нижче виразів є формулами логіки

висловлювань:

а; а∨; (⅂а∨); (a∨b); ⅂(a∨b); (⅂a&⅂b); (a⊃b); (a⊃b)&c∨;

(a ∨⅂b); (a&b)⊃ ∨c; (a⊃b)&c);(⅂(a&b)∨(c&q)

2. Випишіть всі підформули, що входять до складу даної фо-

рмули:

а) (((a⊃ b)∨c)&⅂a)⊃ (a&c)

б) ((a ∨⅂b)&a)&(⅂c ∨(a & c))

в) ((a⊃ (b⊃ c))⊃ ((a⊃ b)⊃(b⊃ c)))

г) ((a&⅂a)&c)∨a

д) (((a&a)∨a)∨c)&(a&⅂b)

3. Визначте вид складеного судження та виразіть його струк-

туру формулою логіки висловлювань:

а) "Не люблять кайданів ні слово, ні ідея". (М.Рильський)

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

церт". (М.Рильський)

в) "Чорними хрестиками висіли в небі яструби; чайки, туж-

ливо скиглячи, гойдались над хвилями сивої ковили, а над

безмежним степом струмилось марево". (П.Панч)

г) "Коли Михайлик відкриває очі, все зразу зникає".

(О.Довженко)

д) "Скажеш – не вернеш, напишеш – не зітреш, відрубаєш –

не приточиш". (Прислів'я)

е) "У Михайлини обов’язково знаходилась якась робота: то рушник вишивала, чи сорочку шила Наталі, чи штопала

панчохи". (М.Стельмах)

є) Пташки з'явились над морем – близько земля.

ж) Екран телевізора гасне, якщо запобіжник перегорів.

з) "Всі об’єктивні прояви життя зводяться до трьох категорій явищ: це або перетворення речовини, або перетворен-

ня енергії, або, нарешті, перетворення форми". (Тімірязєв)

и) Якщо слово стоїть на початку речення, його пишуть з вели-

кої літери.

і) Або цю книгу написав невідомий автор, або студент не

знає, хто її автор.

ї) Якщо Миколка встане і піде до школи, він буде задоволе-

ний, а якщо не встане, він не буде задоволений.

й) Хліба збережуться тоді і лише тоді, коли будуть вириті іригаційні протоки; якщо хліба не збережуться, то фермери збанкрутують і залишать ферми.

4. Дано два судження: "Студент склав сесію" – (а) і "Студент

їде на канікули додому" – (b). Сформулюйте словесно на їх підставі такі висловлювання:

a&b; ⅂a&b; a&⅂b;⅂a&⅂b; a∨b; a∨⅂b; ⅂a∨b; ⅂a∨⅂b; a⊃ b; ⅂a⊃⅂b; ⅂b⊃⅂a; b⊃ a; ⅂(a&b); ⅂(a⊃⅂b); a≡b; a b; ⅂(a ≡⅂ b);

(a&b) ∨(⅂a&⅂b); ⅂((a⊃ b)&(⅂a⊃⅂b); ⅂(b ≡ a);

5. Знаючи основні функціональні властивості логічних сполу-

чників &, ∨, , ⊃, ≡ дайте відповіді на наступні запитання:

а) Кон'юнкція суджень "а і b" – істинна. Судження b – також

істинне. Яке значення має судження а?

б) Кон'юнкція суджень "а і b" – хибна. Судження а – істинне.

Яке значення має b?

в) Диз'юнкція суджень "а або b" – хибна. Судження а також

хибне. Яке значення повинне мати судження b?

г) Диз'юнкція суджень "а або b" – істинна. Судження b – хиб-

не. Яке значення істинності має судження а?

д) Складене судження "Якщо а, то b" – істинне. при цьому

судження b – хибне. Яким буде значення істинності а?

е) Судження "Якщо а, то b" – хибне. Відомо, що b теж хиб-

не. Яким буде а?

є) Судження "а тоді і тільки тоді, коли b" – істинне. Судження

b – хибне. Яким має бути судження а?

и) Судження "а тоді і тільки тоді, коли b" – хибне. Судження а

– істинне. Яким буде судження b?

і) Судження "або а, або b" – хибне. Судження а – істинне.

Яким буде b?

ї) Судження "або а, або b" – істинне. Судження b – хибне.

Яким є судження а?

6. Відомо, що а – хибне, а с – істинне. Опираючись лише на дану інформацію визначте значення істинності наведених формул:

а) a⊃ (b⊃ c)

б) (a&b& c)⊃ c

в) (a∨b∨c)⊃ c

г) c⊃ ((b&a)∨c)

д) c⊃ ((b∨a∨c)&⅂a)

е) (a ∨⅂c)⊃ (⅂b&⅂c)

є) (a&b&c)⊃ ((⅂a∨⅂b)&c)

и) ⅂((c ∨a)⊃ (a&⅂b))

і) (c ∨a ∨b)⊃ (⅂a&⅂c&⅂b)

ї) (c&a&b)∨(⅂c⊃ b)

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

а) ((a⊃ b)⊃ (b⊃ c))⊃ (a⊃ c)

б) ((a⊃ b)& b)⊃ a

в) ⅂a⊃ (a & b)

г) ((a⊃ b)&⅂b)⊃⅂a

д) a &⅂(a ∨ b)

е) (⅂a ∨ b)&(a &⅂b)

є) ((a b c)&(⅂b&⅂c))⊃ a

и) ((a ∨ b)&⅂a)⊃ b

і) ((a⊃ b)&(c⊃ d)&(a ∨ c))⊃ (b ∨ d)

ї) ⅂(((a⊃ b)&(c⊃ b))≡((a ∨ c)⊃ b))

8. З простих суджень a, b, c побудуйте складене судження, яке

буде істинним тоді і лише тоді, коли істинним буде принай-

мні один із складників (немає значення який).

9. Які з наведених нижче суджень знаходяться між собою у

відношенні сумісності за істинністю:

а) Якщо він був у картинній галереї, то бачив дану картину.

б) Якщо він не був у картинній галереї, то не бачив даної кар-

тини.

в) Він був у картинній галереї, але даної картини не бачив.

г) Він або був у картинній галереї, або бачив дану картину.

д) Він бачив дану картину тоді і лише тоді, коли був у кар-

тинній галереї.

е) Якщо він був у картинній галереї, то бачив дану картину,

а якщо не був, то даної картини не бачив.

є) Він або був у картинній галереї і бачив дану картину, або

не був у картинній галереї і не бачив даної картини.

ж) Невірно, що він був у картинній галереї і не бачив даної

картини.

з) Якщо він бачив дану картину, то це означає, що він був

у картинній галереї.

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

a) (a&b)⊃ c і (b&⅂c)⊃⅂a;

б) ⅂(a ∨b) і (⅂a&⅂b);

в) ((a⊃ b)&a)⊃ b і (a&⅂b)∨(⅂a∨b);

г) (a&⅂b)∨(b∨⅂a) і ((a⊃ b)&⅂b)⊃⅂a;

д) a⊃ b і ⅂b⊃⅂a;

е) (a&b)∨⅂b i a ∨⅂b;

є) (⅂a ∨⅂b)∨c i (a&b)⊃ c

11. Визначте табличним методом, які з формул знаходяться

між собою у відношенні несумісності за істинністю:

a) (a⊃ b)∨(⅂c&⅂a)

б) ((a&⅂b)&⅂c)∨a

в) (a⊃ b)∨(c&a)

г) (a ∨ b)&(c ∨ a)

д) (b&c)∨(a&b)

е) (⅂a&⅂b)∨(⅂c&⅂a)

є) (⅂c ∨ b)&(b⊃ a)

12. За допомогою таблиць істинності визначте, чи має місце

відношення логічного слідування між формулами:

а) ((a ∨b)⊃(b ∨a)) (a&b)

б) ((a⊃ b)&b ) a

в) ((a ∨b ∨c)&a) (⅂b&⅂c)

г) ((a ∨b)&(a⊃ b)) b

д) ((a⊃ b)&(c⊃⅂b)) ⅂c

е) ((a⊃ b)&(c⊃ b)&(a ∨c)) b

є) (a⊃ b) (⅂а ∨b)

ж) (((a⊃ (b&c))&(⅂b∨⅂c))⊃⅂a) ((a⊃⅂b)&c)

13. Перевірте за допомогою таблиць істинності, чи знаходяться

наведені нижче судження у відношенні суперечності:

а) Якщо в студента виникає сумнів у правильності написання слова, він пригадує граматичні правила. В студента виник сумнів у правильності написання слова, проте граматичні

правила він не пригадав.

б) Якщо чотирикутник не ромб, то його діагоналі не взаємно перпендикулярні. Даний чотирикутник не ромб, однак діагоналі

його взаємно перпендикулярні.

в) Невірно, що даний спортсмен чемпіон зі стрибків у висоту і низькій на зріст. Даний спортсмен чемпіон зі стрибків

у висоту і низькій на зріст.

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

місцем проживання, ні за місцем роботи.

д) Неприємне враження на глядачів справляє не лише фізична

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

безладні жестикуляції телеведучого.

е) Головний редактор був суворим, але справедливим. Головний редактор не був, а ні суворим, а ні справедливим.

14. Визначте відношення між парами суджень.

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

до нього.

б) Вчитель викликає інтерес до свого предмета і учень наполегливо над ним працює. Учень не наполегливо працює над пред-

метом, отже вчитель не викликає інтересу до нього.

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

у нього інтерес до свого предмета.

г) Якщо вчитель викликає інтерес до свого предмета, то учень наполегливо над ним працює, а якщо вчитель не викликає інтерес до свого предмета, то учень не наполегливо над ним працює. Або вчитель викликає інтерес до свого предмета і учень наполегливо над ним працює, або вчитель не викликає інтерес до свого предмета і учень не наполегливо над ним пра-

цює.

д) Учень тоді і лише тоді наполегливо працює над предметом, коли вчитель викликає інтерес до нього. Якщо і тільки якщо вчитель викликає інтерес до свого предмета, то учень наполегливо над ним працює.

15. Визначте відношення між формулами:

a) a⊃ (a&⅂(b ∨c)) i ⅂a ∨(⅂b&⅂c)

б) a ∨b ∨c i (⅂b&c)⊃ a

в) ⅂a&(a⊃ b) i a⊃ (⅂a&b)

г) (a&b)⊃ c i (a&b)&⅂c

д)(a&b) ∨ c i (⅂b ∨⅂c)⊃ a

е) ((a ∨ b)& c)≡((a&⅂b) ∨⅂c) і (a ∨ b)&(b ∨ c)

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

всі наступні:

a) a⊃ (⅂a⊃ b)

б) a &⅂b

в) ⅂a⊃ b

г) a &(⅂b ∨a)

д) ((⅂a ∨b)&⅂b)&a

17. Чи слідує з судження "Якщо людина багато читає, то вона

багато знає" судження "Людина, яка мало знає, мало читає".

18. За допомогою таблиць істинності перевірте правильність

міркувань:

а) Якщо річка вкрита кригою, то вона несудноплавна. Зараз

річка несудноплавна. Отже вона вкрита кригою.

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

їй вірне уявлення про навколишнє середовище.

в) Якщо студент не прочитає підручника з логіки, то він не отримає необхідних знань для розв’язування логічних задач. Студент прочитав підручник з логіки. Отже він отри-

мав необхідні для розв’язування логічних задач знання.

г) Я заплачу за роботу по ремонту телевізора, якщо він за-

працює. Він же не працює. Отже я платити не буду.

д) "N" міг виїхати з міста або поїздом, або автобусом, або

подорожньою машиною. Однак ні на залізничному, ні на

автовокзалі "N" не з'являвся. Отже, він скористався подо-

рожньою машиною.

е) Якби він закінчив свою роботу, то обов’язково приїхав би або зателефонував. Він же не приїхав і не зателефонував.

Отже, він ще не закінчив своєї роботи.

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

льову різницю потенціалів, то він розшириться.

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

19. Кожну з перерахованих формул спростіть так, щоб знак

заперечення був віднесений лише до пропозиційних змінних.

а) ⅂(⅂a ∨b)

б) ⅂((a & b) ∨⅂ c)

в) ⅂(a & (⅂ b ∨⅂ c))

г) ⅂((a ∨b)⊃⅂(c & d))

д) ⅂((a b)≡(a ∨b))

е) ⅂(((a & b) ∨c)⊃⅂(a & c))

20. Вилучіть знаки імплікації в наведених формулах. При цьому знак заперечення має бути віднесений лише до пропозиційних змінних:

a) a⊃ (b⊃ c)

б) (a⊃ b) ⊃⅂c

в) (⅂ a⊃⅂ b)⊃ c

г) (a⊃ b)⊃ (⅂ b⊃⅂ a)

д) (a⊃ b)⊃ ((a & b)⊃ a)

е) ((a & b)⊃ (b⊃ a))⊃ ((a ∨⅂ b)⊃ b)

21. Застосовуючи еквівалентні перетворення, спростіть, наскі-

льки можливо, формули:

а) (a ∨b)&(⅂ a ∨b)

б) a & ((b & c)⊃ c)&(c ∨⅂ c)

в) ⅂(a ∨b)⊃ ((a ∨b) & b)

г) (a ∨b ∨c)&(a ∨b ∨⅂ c)

д) ((a & b) ∨(⅂ a & b & c))&(⅂ a ∨⅂(a & b) ∨⅂ b)

е) (a⊃ (⅂ a⊃ b))⊃ (a & c)

є) c&((a & b) ≡ (b & a))& d

ж) (a ∨⅂(b & c))⊃ (b (a ≡ c))

з) (a⊃ b)⊃ ((a ∨c)⊃ b)

22. Перевірте, чи є наведені нижче формули тавтологіями:

а) (a≡b) ∨((⅂ a&c)⊃ b)

б) (a⊃ b)⊃ ((a⊃ c)⊃ (a⊃ (b&c)))

в) ((a⊃ b)&(b⊃ c)&(a ∨⅂ a))⊃ c

г) (a⊃ c)⊃ ((b⊃ c)⊃ ((a ∨b)⊃ c))

д) (a ∨b)⊃ ((a&c) ∨⅂ b)

е) ((a⊃ b)&(c⊃ d))&((⅂ b ∨⅂ d)⊃ (⅂ а ∨⅂ c))

є) (a⊃ b)⊃ ((b⊃ c)⊃ (a⊃ c))

ж) ((a&b)⊃ c)≡((a&⅂ c)⊃⅂ b)

23. Визначте, які з наведених формул є суперечливими:

а) (a⊃ b) (⅂(a&⅂ b) ∨c)

б) ((a⊃ b)&⅂(⅂ b⊃⅂ a)) ∨(⅂ (a⊃ b)&(⅂ b⊃⅂ a))

в) ⅂(((a⊃ b)&(a⊃ c))≡(a⊃ (b&c)))

г) (⅂ a ∨b)&(⅂ b ∨c)&⅂(⅂ a ∨c)

д) ⅂(a c)≡((a⊃⅂ b)&(b ∨a))

е) ((a≡b) (c⊃⅂ d))⊃ (c&⅂ d)

24. Виведіть логічні наслідки з наведених засновків:

а) a⊃ b ; ⅂ a⊃ c ; ⅂ a&(b⊃ c)

б) ⅂ a⊃ c ; ⅂ c⊃ b ; ⅂ (⅂ a⊃⅂ c)

в) a c ; ⅂ (a⊃ (b≡ c))

г) (a ∨ b)&⅂ c ; a c ; ⅂ a⊃⅂ c

д) (a⊃ (c⊃ b))⊃ (b ∨⅂ b) ; a ∨ c ; b⊃ c

е) ⅂ a⊃⅂ b ; ⅂ (c ∨ d) ; a≡(d&c)

є) a⊃ b ; ⅂ (⅂ b ∨ c)

ж) a∨c ; c ∨ b ; ⅂ a&b

з) a⊃ c ; a⊃ b ; ⅂ c ∨⅂ b

и) a⊃⅂ b ; ⅂ a⊃ c ; ⅂ (b&c)

25. Здійсніть огляд всіх гіпотез таких формул:

а) (a⊃ (b & a)) ∨ (⅂ a & b)

б) ((a⊃ b)&(c⊃ d)&(a ∨⅂ c))⊃(b ∨ d)

в) ((a≡b) (c⊃ d))⊃ (⅂ a & d)

г) (a ∨ b ∨ c)&(⅂ a ∨ b ∨⅂ c)

д) (a≡b)≡(c⊃ d)

е) (⅂ (⅂ a⊃ b) (a & c))⊃ b

є) (a ∨ b) ∨ (a & b)

ж) ((a ∨⅂ b)⊃ c)⊃ (b ∨ c)

26. Методом "одного рядка" встановіть, чи випливає висновок

з даних засновків:

а) (a⊃ b)&(b⊃ a); (b⊃ c); (⅂ a ∨⅂ c); ⅂ a

б) (⅂ a&b) ∨(⅂ b&a); (b⊃ c); (⅂ a ∨⅂c) ⅂ a

в) (a⊃ b); (⅂ a⊃⅂ b); (a ∨⅂c); a

г) (a⊃ b); (b⊃ c); (c⊃ d); (a⊃ d)

д) (a ∨b ∨c); c⊃ (a&⅂ b); (a⊃⅂ c); (b⊃ c); a

е) (a⊃ (b⊃ c)); (c&d)⊃ q;⅂ q⊃ (d&c); (a⊃ (b⊃ q))

є) a⊃ (b&c); (⅂ b ∨d); (c⊃⅂ q)⊃⅂ d; b⊃ (d&⅂ c); (b⊃ c)

27. За допомогою кіл Ейлера перевірте правильність силогізмів:

а) Будь-який простий категоричний силогізм має три терміни

Даний умовивід не має трьох термінів

---------------------------------------------------------------------------

Даний умовивід не є простим категоричним силогізмом

б) Жодна планета не світить власним світлом

Венера – планета

---------------------------------------------------------

Венера не світить власним світлом.

в) Всі квадрати – паралелограми

Всі паралелограми – чотирикутники

-------------------------------------------------

Деякі чотирикутники – квадрати.

г) Всі кабінети вимагають провітрювання

Ця кімната – не кабінет

--------------------------------------------------

Ця кімната не вимагає провітрювання.

д) Всі студенти складають екзамени

Сидоренко складає екзамени

--------------------------------------------

Сидоренко – студент.

е) Всі метали – електропровідники

Деякі рідини – метали

---------------------------------------------

Деякі рідини – електропровідники.

є) Деякі іменники чоловічого роду в родовому відмінку однини мають закінчення а/я

Дане слово в родовому відмінку однини не має закінчення а/я

-----------------------------------------------------------------------------

Дане слово не є іменником чоловічого роду однини.

ж) Всі птахи літають

Страус не літає

-----------------------

Страус не птах.

з) Всі птахи літають

Страус птах

-----------------------

Страус літає

38. За допомогою методу "одного рядка" перевірте правильність

міркувань:

а) Якщо Джон не зустрічав цієї ночі Сміта, то або Сміт уби-вця, або Джон бреше. Якщо Сміт не вбивця, то Джон не зустрічав Сміта цієї ночі, і вбивство було скоєно після опівночі. Якщо вбивство було скоєно після опівночі, то або Сміт убив

ця, або Джон бреше. Отже, Сміт – убивця.

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

в) Якщо гравці "Динамо" виграють черговий матч, а команда "Шахтар" програє, то команда "Металіст" займе призове мі-

сце. Команда "Металіст" не зайняла призового місця. Отже,

або гравці "Динамо" програли черговий матч, або команда "Шахтар" не програла.

г) Для того, щоб стати студентом вузу, необхідно успішно скласти "незалежне тестування". Випускник школи зможе успішно скласти "незалежне тестування", якщо матиме відмінні знання. Але громадянин Степаненко не володіє відмінними знаннями. Отже він не зможе стати студентом вузу.

д) Якщо слово стоїть на початку речення, воно пишеться з

великої літери. Якщо слово позначає власне ім'я, воно теж пишеться з великої літери. Дане слово пишеться з великої літери. Отже воно є власним ім'ям, чи стоїть на початку

речення.

39. Заперечте судження.

а) Сидоренко працює кореспондентом районної газети і заоч-

но навчається у вузі.

б) Підвищення рентабельності виробництва досягається шляхом зростання продуктивності праці, або шляхом

зниження собівартості продукції.

в) "Вундеркінди" виграють приз, якщо "Хитруни" сьогодні не

виграють.

г) Хабар дають тоді і лише тоді, коли товар доставлено.

д) До будинку відпочинку я добиратимусь або літаком, або

поїздом.

е) Якщо містер Джон щасливий, то місіс Джон нещасли-

ва, а якщо містер Джон нещасливий, то місіс Джон

щаслива.

є) Він або читав цю книгу і бачив цей фільм, або не читав

цієї книги і не бачив цього фільму.

ж) Якщо вечір нудьгуватий, то або Аліса починає плакати,

або Анатоль розповідає смішні історії.

Заняття 7. Логіко-семіотичний аналіз комунікативного

акту (2 год)

а) структурна семантика мови і функціональна семантика мовлення;

б) зміст мовного твору як ієрархічна інформаційна система;

в) ілокутивні характеристики і комунікативний зміст мовленнєвої дії;

г) семіотична специфіка висловлення; текст, контекст, дискурс.

Заняття 8 Письмовий тест № 2 (2 год)

а) визначити логічне відношення між атрибутивними судженнями;

б) здійснити логічні операції над атрибутивними судженнями (заперечення, обернення, перетворення, протиставлення предикату);

в) визначити логічне відношення між складеними судженнями;

г) здійснити заперечення складеного судження.