VOORKENNIS
6 Symbolen en semantiek
In dit hoofdstuk, in het bijzonder in paragraaf 6.2, wordt verondersteld dat u bekend bent met de propositie- en predikaatlogica en met basisbegrippen uit de grafentheorie.