Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Формальные системы
3. Логика предикатов
Для продолжения работы требуется
Регистрация
Предыдущая страница
Следующая страница
Оглавление
Предисловие
1. Формальная аксиоматическая теория
+
2. Классическое исчисление высказываний
+
3. Логика предикатов
-
3.1. Основные понятия, связанные с предикатами
3.2. Логические операции над предикатами
Кванторные операции
3.3. Понятие формулы предикатов
3.4. Логическое значение формулы логики предикатов
Равносильные формулы логики предикатов
3.5. Предваренная нормальная форма формулы предиката
3.6. Общезначимость и выполнимость формул
Контрольные вопросы
Библиографический список
Данный блок поддерживает скрол*