From d7edccf091a7ed101870ebe0a78b9b8f79121c51 Mon Sep 17 00:00:00 2001
From: Damian Kowalski <s464894@labs.wmi.amu.edu.pl>
Date: Fri, 11 Mar 2022 13:08:31 +0100
Subject: [PATCH] dodanie cwiczen.txt

---
 cwiczenia.txt | 30 ++++++++++++++++++++++++++++++
 1 file changed, 30 insertions(+)
 create mode 100644 cwiczenia.txt

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