Post A Reply
my profile
|
directory
login
|
search
|
faq
|
forum home
»
Flare Sci-Fi Forums
»
Community
»
Officers' Lounge
»
Mercury, Venus, ..., 2003UB313?
» Post A Reply
Post A Reply
Login Name:
Password:
Message:
HTML is enabled.
UBB Code™ is enabled.
[QUOTE]Originally posted by Cartman: [QB] Pluto (the primary) satisfies A and B, so is called a planet. Charon (the secondary) satisfies A, but not B, yet is designated as if it also satisfies B because of extra condition C, so is called a planet as well. Thus we have the weird definition that a planet is any object for which the expression (A && (B || C)) or equivalently ((A && B) || (A && C)) [where the second operand is obviously out of place] evaluates to true. Someone at the IAU needs a course in basic propositional logic... [/QB][/QUOTE]
Instant Graemlins
Instant UBB Code™
What is UBB Code™?
Options
Disable Graemlins in this post.
*** Click here to review this topic. ***
© 1999-2024 Charles Capps
Powered by UBB.classic™ 6.7.3