Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Формальные системы
2. Классическое исчисление высказываний
Для продолжения работы требуется
Registration
Предыдущая страница
Следующая страница
Table of contents
Предисловие
1. Формальная аксиоматическая теория
+
2. Классическое исчисление высказываний
-
2.1. Пропозициональные связки и основные логические операции
2.2. Основные логические операции и их логический смысл
2.3. Понятие формулы исчисления высказываний
2.4. Доказуемые формулы исчисления высказываний
Порядок построения доказуемых формул
2.5. Правила вывода исчисления высказываний
2.6. Производные правила вывода
2.7. Понятия выводимости и вывода из совокупности формул
2.8. Основные правила выводимости
2.9. Примеры доказательства некоторых логических законов
2.10. Проблемы аксиоматического исчисления высказываний
Контрольные вопросы
3. Логика предикатов
+
Библиографический список
Данный блок поддерживает скрол*