You’re right, I meant to say that B implies A, not to say that A implies B. However, that is still equivalent to (B || ~A) so the rest, and the conclusion, still follow.
B implies A would be wishful thinking implies that you are correct. This is obviously false. You clearly intended to have a not in there somewhere. Double check your definitions.
I was giving an example of (~A && ~B). If you want an example of (A && B), it would be that I don’t even look at my statements and just assume that I have tons of money because that would be awesome, but I also just happen to have lots of money.
B implies A would be wishful thinking implies that you are correct. This is obviously false.
It being a law of the Internet that corrections usually contain at least one error, that applies to my own corrections too. In this case the error is the definitions of A and B.
A=being correct, B=non-wishful-thinking.
“Having the sum be correct is a necessary condition for non-wishful thinking” means B implies A, which in turn is equivalent to (B || ~A).
“You can be wrong for reasons other than wishful thinking” means ~(~B implies ~A), which is equivalent to ~(~B || A), which is equivalent to B && ~A.
Same conclusions as before, and they’re still not inconsistent.
Now that we have that out of the way, we can start communicating.
A counterexample to (B || ~A) would be (~B && A), so wishful thinking while still being correct. As I said in my last post, you just assume you have a lot of money because it would be awesome, and by complete coincidence, you actually do have a lot of money.
Now that we have established the language correctly and I looked through my first post again, you are correct and I misread it. I tried to go back and count through all the mistakes that lead to our mutual confusion, and I just couldn’t do it. We have layers of mistakes explaining each others mistakes.
You’re right, I meant to say that B implies A, not to say that A implies B. However, that is still equivalent to (B || ~A) so the rest, and the conclusion, still follow.
B implies A would be wishful thinking implies that you are correct. This is obviously false. You clearly intended to have a not in there somewhere. Double check your definitions.
I was giving an example of (~A && ~B). If you want an example of (A && B), it would be that I don’t even look at my statements and just assume that I have tons of money because that would be awesome, but I also just happen to have lots of money.
It being a law of the Internet that corrections usually contain at least one error, that applies to my own corrections too. In this case the error is the definitions of A and B.
A=being correct, B=non-wishful-thinking.
“Having the sum be correct is a necessary condition for non-wishful thinking” means B implies A, which in turn is equivalent to (B || ~A).
“You can be wrong for reasons other than wishful thinking” means ~(~B implies ~A), which is equivalent to ~(~B || A), which is equivalent to B && ~A.
Same conclusions as before, and they’re still not inconsistent.
Now that we have that out of the way, we can start communicating.
A counterexample to (B || ~A) would be (~B && A), so wishful thinking while still being correct. As I said in my last post, you just assume you have a lot of money because it would be awesome, and by complete coincidence, you actually do have a lot of money.
Now that we have established the language correctly and I looked through my first post again, you are correct and I misread it. I tried to go back and count through all the mistakes that lead to our mutual confusion, and I just couldn’t do it. We have layers of mistakes explaining each others mistakes.