Logika, zadanie nr 3211
ostatnie wiadomości | regulamin | latex
Autor | Zadanie / Rozwiązanie |
maja26 postów: 1 | 2015-02-11 16:07:21 (⋀p(x)⇒g(x)∧⋀p(x))⇒⋀g(x) wykaza |
tumor postów: 8070 | 2016-06-26 22:07:00 Wypadałoby podać jaką metodą, nie mówiąc o czytelnym zapisie. Mamy udowodnić $[\forall_{x}(p(x)\Rightarrow q(x))\wedge \forall_{x}p(x)] \Rightarrow \forall_{x}q(x)$ Możemy sprowadzić zaprzeczenie tego zdania do sprzeczności. 1. $\forall_{x}(p(x)\Rightarrow q(x))\wedge \forall_{x}p(x)$ 2. $\neg \forall_{x}q(x)$ 3. (z 2) $\neg q(a)$ 4. (z 1) $\forall_{x}p(x)$ 5. (z 1) $\forall_{x}(p(x)\Rightarrow q(x))$ 6. (z 4) $p(a)$ 7. (z 5) $p(a) \Rightarrow q(a)$ Sprzeczność 3 i 6 z 7. |
strony: 1 |
Prawo do pisania przysługuje tylko zalogowanym użytkownikom. Zaloguj się lub zarejestruj