ϵ">]>
[CL] Formatting the output. Use the format to display numbers as propositional formulas. Try out the following simple queries
97563929 = t:Form
3,4,(2,1),2,2 = t:Form
Use the format to display numbers as lists of propositional formulas.
Tautology checker for atomic propositional sequents. Define the predicate such that
Hint. The definition is based on the following property