Talk:Positive formula
From LLWiki
(Difference between revisions)
(Negative formula) |
Revision as of 23:12, 8 March 2009
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)
