Кортунов Вадим Вадимович kortunov@live.com

 

Логика

Вы должны ответить на 10 вопросов за 30 минут.

 

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

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

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

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

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

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

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

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

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

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

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

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

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

Приложение