dodanie cwiczen.txt

This commit is contained in:
Damian Kowalski 2022-03-11 13:08:31 +01:00
parent 4e7550edf2
commit d7edccf091

30
cwiczenia.txt Normal file
View File

@ -0,0 +1,30 @@
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