Talk:Positive formula

From LLWiki
Revision as of 15:31, 14 March 2009 by Olivier Laurent (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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)

Retrieved from "http://llwiki.ens-lyon.fr/mediawiki/index.php?title=Talk:Positive_formula&oldid=217"
Personal tools