Finite Structure Playground

Generate a finite set with a random binary relation. Explore which first order sentences hold, and see witnesses and counterexamples highlighted.