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

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

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

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

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

Формулы / Математическая логика / Алгебра высказываний / 1 2 3 4

Алгебра высказываний

Обозначения высказываний

x, p, q, r, ... - высказывания,

p = 1 - p - истинное высказывание,

p = 0 - p - ложное высказывание,

- отрицание высказывания p.

Обозначения логических операций

Операция	Обозначение	Другие обозначения
Дизъюнкция ("или" неразделительное) Конъюнкция ("и одновременно") Отрицание Импликация ("влечет" или "если..., то...") Эквиваленция ("равносильно")