Cправочник математических формул
Примеры и задачи с решениями
Алфавитный указатель а б в г д е ж з и к л м н о п р с т у ф х ц ч ш щ э ю я
• Примеры решения задач
• Некоторые постоянные
• Элементарная геометрия
• Геометрические преобразования
• Начала анализа и алгебры
• Уравнения и неравенства
• Аналитическая геометрия
• Высшая алгебра
• Дифференциальное исчисление
• Дифференциальная геометрия
• Интегральное исчисление
• Комплексный анализ
• Элементы теории поля
• Тензорное исчисление
• Дифференциальные уравнения
• Математическая логика
• Теория вероятностей и
математическая статистика
• Линейные пространства и линейные отображения
• Геометрия пространств со скалярным произведением
• Аффинная и проективная геометрия
Формулы / Математическая логика / Предикаты
ПредикатыОбозначения Связь кванторов с операциями алгебры высказываний Если
Основные равносильности 1. 3. 4. 5. 6. Некоторые формулы, выводимые в исчислении предикатов 1. 3. 5. 6. 7. |
- предикаты,
- квантор всеобщности (общности),
- квантор существования.
, то
. 2. 
.
.
.
.
.
. 2. 
.
. 4. 
.
.
.
.