Раздел 3 / 5

Страница 40 / 41

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. Логика предикатов +

Библиографический список