Formulas
Fri, 04/04/2008 - 20:33 — Bilal Said
The user can use any word, starting with a capital letter, as an atomic proposition. Formulas are then defined recursively using a set of connectors defined by the user.