Tiny Model Builder

Build a small finite structure. Toggle a relation and a predicate, then watch a few formulas flip between true and false.