Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
Zadanie1.18Wykazać,żepodaneschematysąprawamirachunkukwantyfikatowów:
1.∀x∈X0(x)1⇒∃x∈X0(x);
2.∼∃x∈X0(x)⇐⇒∀x∈X∼0(x);
3.∼∀x∈X0(x)⇐⇒∃x∈X∼0(x);
4.∃x∈X∀y∈Y0(xjg)1⇒∀y∈Y∃x∈X0(xjg);
5.∀x∈X(0(x)∧w(x))⇐⇒∀x∈X0(x)∧∀x∈Xw(x);
6.∀x∈X0(x)∨∀x∈Xw(x)1⇒∀x∈X(0(x)∨w(x));
7.∀x∈X0(x)∨∀x∈Xw(x)1⇒∀x∈X(0(x)∨w(x));
8.∃x∈X(0(x)∨w(x))⇐⇒∃x∈X0(x)∨∃x∈Xw(x);
9.∃x∈X(0(x)∧w(x))1⇒∃x∈X0(x)∧∃x∈Xw(x);
10.∃x∈X(0(x)∨w(x))1⇒∃x∈X0(x)∨∃x∈Xw(x).
Zadanie1.19Wskazaćprzykładyformzdaniowych,przyktórychpokazujemy,żeznakuimpli-
kacjiwprawach(6)j(7)j(9)j(10)zZadania1.18niemożnazastąpićznakiemrównoważności.
Zadanie1.20Wykazać,żeschematywTwierdzeniu1.3sąregułamidowodzenia.
19