Editing Wason selection task (section)

===Use of logic===
The interpretation of "if" here is that of the [[material conditional]] in [[classical logic]], so this problem can be solved by choosing the cards using [[modus ponens]] (all even cards must be checked to ensure they are blue) and [[modus tollens]] (all non-blue cards must be checked to ensure they are non-even).

One experiment revolving around the Wason four card problem found many influences on people's selection in this task experiment that were not based on logic. The non-logical inferences made by the participants from this experiment demonstrate the possibility and structure of extra logical reasoning mechanisms.<ref>{{Cite journal |last1=Fiddick |first1=Laurence |last2=Cosmides |first2=Leda |last3=Tooby |first3=John |date=2000-10-16 |title=No interpretation without representation: the role of domain-specific representations and inferences in the Wason selection task |url=https://www.sciencedirect.com/science/article/pii/S0010027700000858 |journal=Cognition |language=en |volume=77 |issue=1 |pages=1–79 |doi=10.1016/S0010-0277(00)00085-8 |pmid=10980253 |issn=0010-0277}}</ref> 

Alternatively, one might solve the problem by using another reference to [[zeroth-order logic]]. In [[Propositional calculus|classical propositional logic]], the [[material conditional]] is false if and only if its antecedent is true and its consequent is false. As an implication of this, two cases need to be inspected in the selection task to check whether we are dealing with a false conditional:

* The case in which the antecedent is true (the even card), to examine whether the consequent is false (the opposite face is ''not'' blue). 

* The case in which the consequent is false (the red card), to study whether the antecedent is true (the opposite face is even).