1. Классическая логика высказываний Горбатов В.В.

3. 1. Язык и семантика КЛВ

9. Табличное определение связок 1 1 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 1-  +   = Мат. аналог: р  q р  q p V q pVq p&q  p q p

11. Пример построения таблицы 1 1 0 0 1 0 1 0 0 1 0 1 1 0 0 0 1 0 1 1 0 1 1 0 0 0 1 0 1 1 1 1 F … & … p V q  (p&  q) p&  q  q q p

13. 2. Основные законы КЛВ

16. Какой закон нарушен?

17. Какой закон нарушен? Или ... Или ... Или ?

22. 3. Логические отношения

24. Логические отношения между сложными суждениями – – – + + – + + – – + + + – – + В подчиняет А А подчиняет В Эквивалентность Независимость Субконтрарность Контрарность Контрадикторность В  = А А  = В А (0) В А (1) В Отношения

28. 4. Способы умозаключений

37. 5. Исчисление высказываний

50. Эвристики, основанные на анализе цели противоречие  А, потом  В А  B 5 А, потом В (или наоборот) А & B 4 В А А  В 3 противоречие А  А 2 противоречие  А А 1 Новая цель Допущение Цель №

51. Эвристики, основанные на анализе вывода противоречие, чтобы затем получить А, а из него В  А В А  В 8 А  В, чтобы возник-ло противоречие А (либо В) противоречие  (А  В) 7 противоречие, чтобы затем получить  А, а из него В А В А  В 6 Новая цель Допу-щение Постав-ленная цель В выводе есть формула №