On: Passwordle

[VikingCoder]

Winners never quit. And quitters never win.

But those who never win AND never quit are idiots.

[jonnycomputer → VikingCoder]

That's because winners know when not to play.

[redefine_net → jonnycomputer]

That means quitters are winners?

[extropy → redefine_net]

No, winners never quit. Have to be true to your axioms.

[GuB-42 → redefine_net]

"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 → GuB-42]

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.

[taberiand → jonnycomputer]

Strange game

[SMAAART → VikingCoder]

this is deep.