Kapittel 16 – Resonnering om modeller / Kapitteltest

Kapitteltest – Kapittel 16

Test deg selv

Hvilke(n) av disse formlene er logisk ekvivalent med $\forall x (Px \lor Qx)$?

Test deg selv

Hvilke(n) av disse formlene er en logisk konsekvens av $\exists x Px \land \forall x (Px \to Qx)$?

Test deg selv

Hvilke(n) av disse påstandene er sanne?