Основы логики. Приоритет логических операций.

С начальной школы каждый помнит порядок действий в математике. Все знают, что, к примеру, умножение "важнее" сложения, и выполняется в первую очередь. В логике также каждая операция имеет свой приоритет.

Приоритет логических операций в порядке убывания

  • Выражение в скобках.
  • Отрицание.
  • Конъюнкция.
  • Дизъюнкция.
  • Импликация.
  • Эквиваленция.

 

К примеру, выражение A ˄ B ≡ C → D можно записать как (A ˄ B) ≡ (C → D).

Подряд идущие импликации

В выражении вида

A → B → C → D

импликация выполняется слева направо, то есть его можно записать как

((A → B) → C) → D

Поделиться:
 
Комментарии (0)

Нет комментариев. Ваш будет первым!

Перевести число из в Результат: 510 = 1012