Definition of inductive sets
Definition of wffs
Definition of T1 : last symbol from right should be a ')' or a
proposition.
violating example : (p and q)^r