cousin_it comments on What are you working on? April 2011

cousin_it 8 Apr 2011 12:04 UTC
1 point

The inner iff should be testing a counterfactual, not equality.

If so, how do you define the truth value of that counterfactual?