| Авторизуйтеся для перегляду анотації та можливості завантаження одним файлом |
Роль та значення логіки у підготовці фахівцяМісце логіки серед інших дисциплінГоловні завдання, що стоять перед студентом у процесі вивчення логікиІсторія логікиВиникнення логіки Розвиток логіки Предмет і статус логікиФормалізація - метод логікиЛогічний аналіз твердженьЛогічний аналіз складних твердженьЛогічні терміни в складних твердженняхПрості та складні твердженняЗміст логічних термінівВиявлення несумісності знаньВиди несумісності знаньСуперечність між твердженнями текстуІнструменти. Алгоритм виявлення суперечності у послідовності пов'язаних твердженьСуперечливі складні твердженняІнструменти. Алгоритм виявлення суперечності у послідовності пов'язаних твердженьЗакони логікиВиведення знаньВиведення знань та його види. Алгоритм виявлення правил виведенняІнструменти. Алгоритм виявлення можливості формулювання правила виведення (у разі, якщо одне твердження просте, а інше - складне)Інструменти. Алгоритм виявлення можливості формулювання правила виведення (у разі, якщо засновки довільної складності)Найпростіші правила виведенняПравило для диз'юнкціїПравило для антикон'юнкціїПравило для сильної диз'юнкціїПравило для імплікаціїПравило для реплікаціїПравило для еквіваленціїПравило транзитивності імплікаціїПравило контрапозиціїВідношення логічного випливання та правила виведенняЛогічний аналіз простих твердженьЕлементи та структура простих тверджень Імена. їхні види та властивостіВідношення між іменами за обсягом (логічні терміни у простому твердженні)Інструменти. Алгоритм визначення відношення між обсягами імен 4 (відношення між множинами)Структура простих твердженьВиди простих тверджень. Безпосередні виводи Види простих твердженьБезпосередні виводиІнструменти. Алгоритм виявлення висновку в разі одного засновку шляхом побудови діаграми Ейлера:Інструменти. Алгоритм формулювання правила виводуОпосередковані виводи. СилогізмиСилогістичні виводи на підставі традиційної силогістикиГрафічні методи виявлення правильності силогізмівІнструменти. Алгоритм виявлення правильності силогізму:Інструменти. Алгоритм виявлення правильності силогізму методом Джона ВеннаТабличний метод виконання силогістичних виводівЗагальні умови істинності висновківЛогічний аналіз систематизаціїМетоди систематизаціїЗагальні уявлення про систематизаціюКласифікування як формування ієрархії відношень обсягів іменСтворення класифікаторівІмовірнісні твердженняМетоди формування припущеньПрипущення як вид тверджень. Види припущеньПрипущення як множина дедуктивних висновківМетоди формування недедуктивних припущеньМетод перенесенняМетод аналогії (подібності)Метод абдукціїМетоди індукціїКомбіновані методи формування припущеньЛогічний аналіз означень і спонуканьОзначення і спонукання як види завершеної думкиЛогіка означеньЛогічний аналіз спонуканьЛогіка норм. Види і структура норм. Правила міркувань у логіці нормЛогіка питань
