You are here

Propositional axioms for WaterWorld

26 July, 2019 - 12:03
Available under Creative Commons-ShareAlike 4.0 International License. Download for free at http://cnx.org/contents/383d4b87-2d7b-454e-99fe-2eaa43eae8ff@20.20

We summarize the details of how we choose to model WaterWorld boards in propositional logic: exactly what propositions we make up, and the formal domain axioms which capture the game's rules.

The board is fxed at 6×4, named A,...,Z (with I and O omitted).

media/image23.png
Figure 6.1 A Sample WaterWorld board