Tiny Structures Lab

Build a small finite structure with a predicate and a relation. See which simple first-order sentences become true or false as you edit.