Знаки и операции в мат. логике
Приведём таблицу знаков операций и знаков, которые используются в математической логике, а также обозначим, в каком же приоритете должны использоваться операции, если в каком-то логическом выражении не проставлены скобочки.
¬a
- отрицание
a⇒b
- импликация
a∧b
- …