Прикладная математика
                               Cправочник математических формул
                                          Примеры и задачи с решениями

Алфавитный указатель  а б в г д е ж з и к л м н о п р с т у ф х ц ч ш щ э ю я  

  • Математические формулы

  • Примеры решения задач

  • Некоторые постоянные
  • Элементарная геометрия
  • Геометрические преобразования
  • Начала анализа и алгебры
  • Уравнения и неравенства
  • Аналитическая геометрия
  • Высшая алгебра
  • Дифференциальное исчисление
  • Дифференциальная геометрия
  • Интегральное исчисление
  • Комплексный анализ
  • Элементы теории поля
  • Тензорное исчисление
  • Дифференциальные уравнения
  • Математическая логика
  • Теория вероятностей и
     математическая статистика





     Формулы / Математическая логика / Исчисление высказываний


Исчисление высказываний


     Аксиомы

I

     1. . 2. .

II

     1. . 2. . 3. .

III

     1. . 2. . 3. .

IV

     1. . 2. . 3. .


     Правила вывода

( - знак выводимости)


     Правило подстановки

где - формула, полученная из p путем подстановки формулы q вместо переменной x.


     Правило заключения


     Некоторые выводимые формулы

     1. . 2. . 3. .

     (s в формулах 1, 2 - произвольная выводимая формула.)

     4. .

     5. .

     6. .

     7. .

     8. .



© 2006- 2017  ПМ298
info@pm298.ru
     Электронный справочник по математике: математические формулы по алгебре и геометрии, высшая математика, математика, математические формулы. Задачи с решениями, примеры и задачи по математике, бесплатные решения задач, корень , директриса гиперболы

     Исчисление высказываний, аксиомы, правила вывода, знак выводимости, правило подстановки, правило заключения, некоторые выводимые формулы.