DR(B) = C is easily seen to be false, since DR always defects (by definition), and in general, ~X is logically equivalent to X → False. So we take X to be the statement from the line above, and place DR(B) = C for False.
Sorry that wasn’t more clear.
A deadline was reached after 1.0 seconds.
DR(B) = C is easily seen to be false, since DR always defects (by definition), and in general, ~X is logically equivalent to X → False. So we take X to be the statement from the line above, and place DR(B) = C for False.
Sorry that wasn’t more clear.
Error