OPGAVEN
6.2 Semantiek
Gxy staat voor x kent y. Vertaal in predikaatlogica:
a Jan kent Marie.
b Jan kent iemand.
c Iedereen kent Jan.
d Iedereen kent iemand.
e Niemand kent zichzelf.
Maak uit Stefik opgave 5 op pagina 62.
Maak uit Stefik opgave 2 op pagina 61.
Maak uit Stefik opgave 4 op pagina 61.
Maak uit Stefik opgave 6 op pagina 62.
Maak uit Stefik opgave 11 op pagina 68.