Quantifier Playground

Draw a tiny structure and see whether a few first-order sentences are true in it. Click to color points, drag to add arrows, then try to make the truth value flip.