SI-projekt-smieciarka/cwiczenia.txt
2022-03-11 13:08:31 +01:00

31 lines
904 B
Plaintext
Raw Blame History

This file contains ambiguous Unicode characters

This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.

1) Dom nie jest sterta smieci
∀x (dom(x) ⇒ ¬sterta smieci(x))
dom(x) ∧ sterta smieci(x) ⇒
2) Kazdy smiec ma inny typ
∀x (smiec(x) ⇒ ∃y typ(x, y))
smiec(x) ⇒ typ(x, d(x))
3) Kazdy smiec jest albo papierem, plastikiem lub szklem
∀x (smiec(x) ⇒ papier(x) szklo(x) plastik(x))
smiec(x) ⇒ papier(x) szklo(x) plastik(x)
Cos nie moze byc jednoczesnie papierem, plasitkiem/szklem ...
4) Kazda sterta smieci jest albo papierem, plastikiem lub szklem
∀x (sterta smieci(x) ⇒ papier(x) szklo(x) plastik(x))
sterta smieci(x) ⇒ papier(x) szklo(x) plastik(x)
5) Dom wytwarza smieci
wytwarza(smieci, dom)
wytwarza(smieci, dom)
6) Niektore domy nie maja smieci
∃x(dom(x) ⇒ ¬smieci(x))
Wprowadzamy stala Skolema (b)
dom(b) ∧ smieci(b) ⇒
7) Kazde dwa obiekty znajduja sie w pewnej odleglosci od siebie
∀x∀y