+7 (903) 100 31 62 kortunov@bk.ru


Д-Э212

Д-Э215

Д-Э218

Логика Stepik  Философия Stepik  Логика Bitrix

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

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

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

Необходимо указать текст.
Необходимо указать текст.

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

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

I. Язык и символы формальной логики

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

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

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

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

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

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

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

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

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

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

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

Приложение