Прикладная логика

В курсе предлагаются наиболее эффективные методы решения задач логики высказываний и силлогистики. Эти методы получены преобразованием таблиц истинности в линейно-табличные диаграммы и дополнением последних обозначениями существования. Силлогистика расширяется за счет диаграммного словаря форм атрибутивных суждений о предметах (304 формы, в том числе выделяющие, исключающие, с отрицанием и другие), а также за счет аналогичных словарей о случаях, местах, временах и точках зрения. Даются алгоритмы диаграммного контроля над определениями, классификацией, построением суждений и алгоритмы получения следствий из произвольно заданного числа суждений основания с произвольно заданной сложностью терминов.