Kapittel 13 – Førsteordens språk / Presedensregler

Presedensregler for førsteordens språk

Hva syns du om denne videoen?
(Én stjerne er dårligst, tre stjerner er middels og fem stjerner er best.)
(Hvordan kan denne videoen bli bedre?)

Test deg selv

Ut fra presendensreglene, hvilken formel står uttrykket $\forall x P(x) \land R(y, z)$ for?

Test deg selv

Ut fra presendensreglene, hvilken formel står uttrykket $\forall x \forall y R(x, y) \lor \neg \exists y P(y) \land P(a)$ for?