Detecting Cheaters

Brains are specially designed to deal with cheating in social exchanges. The evolutionary psychology explanation is that evolved brain heuristics for the social problems that prehistoric ancestor had to deal with. Propositional calculus is a system for deducing conclusions from true premises. It uses variables for statements because the logic works regardless of what the statements are.