Formulas syntax

Logical connectives
& conjunction
+ disjunction
=> implication
<=> equivalence
- negation
F false
Operator priority : (high) - & + => <=> (low)
Between two identical operations, the left operation is prioritary, except for implication

A & B & C est (A & B)& C
A + B + C est (A + B) + C
A => B => C est A => (B => C)
A & B + C est (A & B) + C
A & B => C + D est (A & B) => (C + D)
- A + B est (- A) + B

examples | rules | formulas syntax | proofs definition | info | download | home Last Modified : 23-Feb-2023