The propositional variables are identifiers beginning with a lowercase letter, such as : a, b, p, q.
The logical connectives are :

. conjunction + disjunction

=> implication <=> equivalence

- negation

F false

[] necessary

<> possibly

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

examples | rules | syntax | info | home | download

Last Modified : 17-Dec-2021