1.0 is a probability. According to the axioms of probability theory, for any A, P(A or (not A))=1. (Unless you’re an intuitionist/constructivist who rejects the principle that not(not A) implies A, but that’s beyond the scope of this discussion.)
Current theme: default
Less Wrong (text)
Less Wrong (link)
1.0 is a probability. According to the axioms of probability theory, for any A, P(A or (not A))=1. (Unless you’re an intuitionist/constructivist who rejects the principle that not(not A) implies A, but that’s beyond the scope of this discussion.)