OPGAVEN

6.2 Semantiek

Opgave 6.2.1

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.

> Uitwerking 6.2.1

Opgave 6.2.2

Maak uit Stefik opgave 5 op pagina 62.

> Uitwerking 6.2.2

Opgave 6.2.3

Maak uit Stefik opgave 2 op pagina 61.

> Uitwerking 6.2.3

Opgave 6.2.4

Maak uit Stefik opgave 4 op pagina 61.

> Uitwerking 6.2.4

Opgave 6.2.5

Maak uit Stefik opgave 6 op pagina 62.

> Uitwerking 6.2.5

Opgave 6.2.6

Maak uit Stefik opgave 11 op pagina 68.

> Uitwerking 6.2.6