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)