4 ms·Pop culture quotes written in first-order logic – can you figure them out?3 points by AllTalk 11y agodalke 11y agoS.T.H(x) holds for ∀x where x ∈ {people} ∧ ¬{me, monkey_mine}.