How to deal with negative formulas and negative connectives?
- stupid duplication of the page for positive ones?
- definition by duality from positive and reuse of results given in the positive formula page?
- integration inside the positive formula page and redirection?
-- Olivier Laurent 22:12, 8 March 2009 (UTC)