Inne, zadanie nr 5075
ostatnie wiadomo艣ci | regulamin | latex
| Autor | Zadanie / Rozwi膮zanie |
pm12 post贸w: 493 |  2016-12-15 21:09:36Sprawdzi膰, czy podana formu艂a to tautologia i czy jest spe艂nialna : { [ $\forall_{x}$ P(x) ] $\Rightarrow$ Q(y) } $\iff$ { $\exists_{x}$ [ P(x) $\Rightarrow$ Q(y) ] } |
tumor post贸w: 8070 | 2016-12-16 15:14:07 Mo偶esz za艂o偶y膰: $ ([\forall_{x}P(x)]\Rightarrow Q(y))\iff (\exists_{x}[P(x)\Rightarrow Q(y)]) = 0$ czyli fa艂szywo艣膰 r贸wnowa偶no艣ci. R贸wnowa偶no艣膰 jest fa艂szywa, gdy znajdziesz warto艣ciowanie, dla kt贸rego jedna strona jest prawdziwa, druga fa艂szywa. Polecam zacz膮膰 od tej strony, kt贸r膮 uznasz za fa艂szyw膮: implikacja jest fa艂szywa tylko w jednym przypadku. Je艣li dojdziesz do sprzeczno艣ci dla ka偶dego mo偶liwego warto艣ciowania (czyli zar贸wno lewa strona 1, prawa 0, jak i lewa 0, prawa 1), oznacza to, 偶e formu艂a jest tautologi膮. Je艣li jest tautologi膮, to jest spe艂nialna. Dla stwierdzenia spe艂nialno艣ci wystarcza te偶 pojedyncza interpretacja, dla kt贸rej formu艂a b臋dzie prawdziwa. Odwrotnie: gdyby nie istnia艂a nawet jedna interpretacja, dla kt贸rej formu艂a jest prawdziwa, formu艂a by艂aby kontrtautologi膮, wobec tego nie tautologi膮. Wiadomo艣膰 by艂a modyfikowana 2016-12-17 23:15:57 przez tumor |
| strony: 1 | |
Prawo do pisania przys艂uguje tylko zalogowanym u偶ytkownikom. Zaloguj si臋 lub zarejestruj