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