Venn used the diagrams to prove a form of logical statement known as a categorical syllogism. This can be used to model reasoning. Here’s an example: “All computers need power.

Venn’s diagrams were crucial in understanding this. And this area of science is still important, for example when considering the limitations of machine learning and AI, where we may ask questions ...