Одесса, 1997. – 388 с.
Введение.
Логика высказываний.
Таблицы истинности.
Проблема вывода в логике высказываний.
Задачи и упражнения к части первой.
Атрибутивная логика.
Суждение и понятие.
Непосредственные умозаключения.
Категорический силлогизм.
Задачи и упражнения к части второй.
Реляционная логика.
Логика отношений.
Логика предикатов.
Язык тернарного описания.
Задачи и упражнения к части третьей.
Индуктивная логика.
Сущность и виды индукции через перечисление.
Индуктивные методы исследования причинных связей.
Выводы по аналогии.
Выводы от утверждения следствий.
Задачи и упражнения к части четвёртой.
Доказательства и аргументация.
Задачи и упражнения к части пятой.
Ответы на задачи.
Введение.
Логика высказываний.
Таблицы истинности.
Проблема вывода в логике высказываний.
Задачи и упражнения к части первой.
Атрибутивная логика.
Суждение и понятие.
Непосредственные умозаключения.
Категорический силлогизм.
Задачи и упражнения к части второй.
Реляционная логика.
Логика отношений.
Логика предикатов.
Язык тернарного описания.
Задачи и упражнения к части третьей.
Индуктивная логика.
Сущность и виды индукции через перечисление.
Индуктивные методы исследования причинных связей.
Выводы по аналогии.
Выводы от утверждения следствий.
Задачи и упражнения к части четвёртой.
Доказательства и аргументация.
Задачи и упражнения к части пятой.
Ответы на задачи.