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