uni/inf1080/hw8.mdn

# Innlevering 8

## 14.6

* Bx: x er en biolog
* Fx: x er en filosof
* Kxy: x kjenner y
* a: Aristoteles
* b: Bolzano
* c: Copernicus

A) Aristoteles er både en biolog og en filosof:
	* Ba \land Fa

B) Alle biologer er filosofer:
	* $\forall$x(Bx \to Fx)

C) Ingen filosofer er biologer:
	* $\forall$x(Fx \to $\lnot$Bx)

D) Aristoteles kjenner en filosof:
	* $\exists$x(Bx \land Kax)

E) Bolzano kjenner alle filosofer:
	* $\forall$x(Fx \to Kbx)

F) Copernicus kjenner bare biologer:
	* $\forall$x($\lnot$Bx \to $\lnot$Kcx)

G) Alle kjenner en filosof:
	* $\forall$x$\exists$y(Fy \land Kxy)

H) Alle kjenner nøn som kjenner en filosof:
	* $\forall$x$\exists$y$\exists$z(Kxy \land Kyz \land Fz)

I) $\lnot\exists$x(Bx \lor Fx):
	* Det finnes hverken filosofer eller biologer

J) $\exists$x(Kax \land $\lnot$Bx):
	* Aristoteles kjenner noen som ikke er biolog.

K) $\forall$x$\forall$y((Fx \land Fy) \to Kxy)
	* Alle filosofer kjenner hverandre

L) $\exists$x($\forall$y(Fy \to Kxy)):
	* Det finnes noen som kjenner alle filosofer