Logika, zadanie nr 2425
ostatnie wiadomo艣ci | regulamin | latex
| Autor | Zadanie / Rozwi膮zanie |
van1403 post贸w: 3 |  2014-06-05 22:14:00Sprawd藕 metod膮 tabel semantycznych, czy tautologi膮 rachunku predykat贸w jest formu艂a: (\forall_{x} A(x)\rightarrow \exists_{x}B(x))\rightarrow \exists_{x}(A(x)\rightarrowB(x)) |
van1403 post贸w: 3 | 2014-06-05 22:17:02 http://forum.zadania.info/viewtopic.php?f=37&t=65228 |
tumor post贸w: 8070 | 2014-06-23 21:34:00 Dowodzimy $ (\forall_{x} A(x)\rightarrow \exists_{x}B(x))\rightarrow \exists_{x}(A(x)\rightarrow B(x)) $ a dowodzimy tautologiczno艣ci, czyli metod膮 niewprost poszukamy warto艣ciowania, dla kt贸rego warto艣ci膮 zdania jest $0$. $ ~[(\forall_{x} A(x)\rightarrow \exists_{x}B(x))\rightarrow \exists_{x}(A(x)\rightarrow B(x))] $ $\forall_{x} A(x)\rightarrow \exists_{x}B(x),~\exists_{x}(A(x)\rightarrow B(x))$ Implikacja pierwszej formu艂y wymusza podzia艂 na dwie ga艂臋zie Pierwsza ga艂膮藕 $~\forall_{x} A(x),~\exists_{x}(A(x)\rightarrow B(x))$ $~A(a),~\exists_{x}(A(x)\rightarrow B(x))$ $~A(a),~(A(a)\rightarrow B(a))$ $~A(a),A(a),B(a)$ sprzeczno艣膰, ga艂膮藕 zamkni臋ta Druga ga艂膮藕 $\exists_{x}B(x),~\exists_{x}(A(x)\rightarrow B(x))$ $B(b),~\exists_{x}(A(x)\rightarrow B(x))$ $B(b),~(A(b)\rightarrow B(b))$ $B(b),A(b),~B(b)$ sprzeczno艣膰, ga艂膮藕 zamkni臋ta. |
| strony: 1 | |
Prawo do pisania przys艂uguje tylko zalogowanym u偶ytkownikom. Zaloguj si臋 lub zarejestruj