4. Введение в логику предикатов

Поставить закладку

Если Вы наш подписчик,то для того чтобы скопировать текст этой страницы в свой конспект,
используйте просмотр в виде pdf. Вам доступно 3 стр. из этой главы.

Для продолжения работы требуется Registration

Предыдущая страница

Следующая страница

1. Множества +

2. Математическая логика +

3. Введение в логику высказываний +

4. Введение в логику предикатов -

4.1. Конкретизация предикатов

4.2. Кванторы в предикатах

4.3. Построение доказательств в логике предикатов

Упражнения

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

Данный блок поддерживает скрол*

4. Введение в логику предикатов

Table of contents