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

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

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

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

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





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


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


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

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

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

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

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


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

Операция

Обозначение

Другие обозначения


  Дизъюнкция ("или" неразделительное)

  Конъюнкция ("и одновременно")

  Отрицание

  Импликация ("влечет" или "если..., то...")

  Эквиваленция ("равносильно")
























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

p

0
1

1
0



p          q

0          0
0          1
1          0
1          1

0
1
1
1

0
0
0
1

1
1
0
1

1
0
0
1


-1-2-3-4-



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

     Высказывания, истинное высказывание, ложное высказывание, отрицание высказывания, дизъюнкция, конъюнкция, отрицание, импликация, эквиваленция.