Formulas syntax

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