# Talk:Positive formula

From LLWiki

## Negative formula

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)