Eleventh new law from the premises of syllogism

From: "Conbra" <slwu@xxxxxxxxx>
Date: 6 Jun 2006 17:26:33 -0700

Eleventh new law from the premises of syllogism is as follows

((a → b) & (b → c)) → ((a’ ↕ b’) → c)

The meaning of the sign ↕ is “be independent of”, “→” is
implication, “&” is logic and. “υ” is a constant of “Concept
Algebra”.

More messages see http://groups.google.com/group/Concept-Algebra/

Follow-Ups:
- Re: Eleventh new law from the premises of syllogism
  - From: Frederick Williams

Prev by Date: Re: adding default rules to a theory in default logic
Next by Date: Re: Why? [was Re: Cantor`s powerset theorem is false?]
Previous by thread: adding default rules to a theory in default logic
Next by thread: Re: Eleventh new law from the premises of syllogism
Index(es):
- Date
- Thread