3 ms·

This is a little new to me, but as described, isn't it like a form of a proof by contradiction? I mean, it doesn't have to bring in "we wouldn't be here" quest

This is a little new to me, but as described, isn't it like a form of a proof by contradiction? I mean, it doesn't have to bring in "we wouldn't be here" questions of survival, it seems to be just of the form of... (1) Question whether A is true. (2) If A were not true, then it would necessitate that B is true. (3) B is clearly impossible. (4) Therefore... A must be true.

tuatoru 6y ago
Proof by contradiction only applies to mathematical/logical theorems, which are also known as tautologies. It's useless for statements about the physical universe. Edit: IIRC the form is !(!A || B) && !B which reduces as (A || !B) && !B (A && !B) && (!B && !B) A && !B && !B Given B == false A && true && true A