prop p;
i
props p,q,r;
h;
axioms
. p
. p /\ r
. p \/ r
. not p
. p => p
. p <=> q
. [] p
. <> p