diff --git a/cwiczenia.txt b/cwiczenia.txt
new file mode 100644
index 0000000..28016d5
--- /dev/null
+++ b/cwiczenia.txt
@@ -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