Talk:Positive formula

From LLWiki
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)

Personal tools