Formulas in ∧, ∨, ⇒, ¬, ∀, ∃
We define the class of formulas and some basic operation on them: checking if a formula is well-founded, writing a formula in linear form.
Defining Formulas in ∧, ∨, →, ⇒, ¬, ∀, ∃.
Material Implication →.
Constructive Implication ⇒.
Some examples of formulas.
Checking if a formula is well-formed.
Defining the linearization operator L.
Some formulas and some linearizations.
Created by Mathematica (October 17, 2006)