Predicate Wars is a card game based heavily on predicate logic, including formal statements, and logical inferences, with highly flexible gameplay. A Calvinball-like game but for actual nerds who actually want to win the game. Rulebook.
A card game of first-order logic
Predicate Wars is a card game based heavily on predicate logic, including formal statements, and logical inferences, with highly flexible gameplay. A Calvinball-like game but for actual nerds who actually want to win the game. Rulebook.
A card game of first-order logic
GNU General Public License v3.0