The propositional variables are identifiers beginning with a lowercase letter, such as : a, b, p, q.
The logical connectives are :
. |
conjunction |
+ |
disjunction |
|
=> |
implication |
<=> |
equivalence |
|
|
|
|
|
The operator priority are : (high) - [] <> & + => <=> (low).
Between two identical operations, the left operation is prioritary, except for implication.
A . B . C |
is |
(A . B). C |
A + B + C |
is |
(A + B) + C |
A => B => C |
is |
A => (B => C) |
[]A=>B
| is |
([]A)=>B |
|
A . B + C |
is |
(A . B) + C |
A . B =>
C + D |
is |
(A . B) =>
(C + D) |
- A + B |
is |
(- A) + B |
<> A + B |
is |
(<> A) + B |
|