four cards have been sampled. If (ii) is allowed for, then very interesting issues arise (most famously tackled by Oaksford and Chater, 1994). However, Wason had (i) in mind, and everyone seems to agree that in that case the correct answer is: turn over the E- and the 7-card. Why?
From Wason on, the standard answer has been more or less the same: because only by turning the E- and the 7-card you could possibly falsify H. (Wason's experimental idea was apparently inspired by his knowledge of Popper.) But the logical point seems stronger than that: if the domain is restricted, then H is logically equivalent to "there's an even number behind E and a consonant behind 7". Logically equivalent - period. Not just such that it would otherwise be falsified. The proof is easy, and it provides ultimate motivation for why the selection of E and 7 is indeed compelling (recall how the question is spelled out: which cards are needed to find out whether H is true or false). Yet I have consistently found variants of the "Popperian" argument, and never seen an overt statement of that plain logical equivalence. I'd be happy to know if anyone alse ever has.
Humberstone, L. (1994), "Hempel meets Wason", Erkenntnis, 41 (1994), pp. 391–402.
Johnson-Laird, P.N. & Wason, P.C. (1977), "A theoretical analysis of insight into a reasoning task", in P.N. Johnson-Laird & P.C. Wason (eds.), Thinking: Readings in Cognitive Science, Cambridge University Press, Cambridge, pp. 143-157.
Oaksford, M. & Chater N. (1994), "A rational analysis of the selection task as optimal data selection", Psychological Review, 101 (1994), pp. 608–631.