Imagine that a logician puts four cards on the table in front of you. On the uppermost faces, you can see E, K, 4, and 7. He claims that if a card has a vowel on one side, then it has an even number on the other. How many cards do you have to turn over to check this? Explain why, using reference to propositional logic