+7 (903) 100 31 62 kortunov@live.com

Экзаменационные вопросы

Логика: вторая контрольная точка

Ответьте на 41 вопрос. Время не ограничено.

Логика: четвертая контрольная точка

Система натурального вывода

II. Основные законы логики

III. Построение таблиц истинности

IV. Синтаксис простых суждений

V. Классическая и неклассическая силлогистика

VI. Система натурального вывода

VII. Семантические таблицы

VIII. Исчисления секвенций

IX. Иные разрешающие процедуры

X. Натуральные исчисления в модальной логике

XI. Индуктивные и правдоподобные умозаключения

XII. Расширение классической логики. Неклассическая логика

Приложение