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