[GuB-42]

"Winners never quit" and "quitters never win" are logically equivalent. It mean that you can't quit and win, ie. quit AND win <=> FALSE

The truth table is:

  QUIT | WIN | result
  -----+-----+------------------
  no   | no  | possible, idiot
  no   | yes | possible, winner
  yes  | no  | possible, quitter
  yes  | yes | impossible

[jonnycomputer]

TBH, I think we need at least a first-order predicatelogic to adequately model this.

In any case, I'd dispute your logical equivalence. All quitters are not winners. But not all "not winners" are quitters. Some just keep playing and losing. Like I do at chess.