Яandom Logic

If we try to represent tossing a coin or a die, or picking a card out of a deck at random, in logic, how should we do it? Tossing a coin might look like: Toss(coin) → (Heads or Tails) Tossing a die might be: Toss(die) → (1 or 2 or 3 or 4 or 5 or 6) Picking a card: Pick(52 card deck) → (1♣ or 2♣ or … or k♥) This begs asking, do […]