Formulation and experimental verification of models in propositional reasoning

In Evans (1977) an experiment of Evans and Lynch (1973) based on Wason's selection task is re-analysed. We reformulated the model proposed by Evans as a state model and extended it to a new model by means of which the data of Evans and Lynch (1973), of Manktelow and Evans (1979), and of our own experiments can be explained. The new model is based on a falsification state, a verification state and a matching state.