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.