Worlds and Arrows

Draw a finite directed graph and see which small first-order sentences are true. Click nodes or the grid to edit the relation.