Logika, zadanie nr 5493
ostatnie wiadomości | regulamin | latex
Autor | Zadanie / Rozwiązanie |
aitoa postów: 1 | 2017-06-10 10:21:00 Cześć! Mam pewien problem z zadaniem, mianowicie: Mam formułę $\exists x P(a,y) \rightarrow \forall y Q(x, f(y)) \wedge P(x,a)$ oraz dwa podstawienia [x|f(y)], [y|x]. Muszę sprawdzić czy są one dopuszczalne. Dopuszczalne jest wtedy, gdy podstawienie nie znajduje się w zasięgu żadnego kwantyfikatora. Ok. Wyszło mi, że [x|f(y)] jest dopuszczalne, a [y|x] niedopuszczalne, bo podstawiając w formule $\exists x P(a,y)$, x znajdzie się w zasięgu kwantyfikatora $\exists x$. I stąd moje pytanie.. Czy ja to dobrze rozumiem? Czy te pierwsze podstawienie jest dopuszczalne? |
strony: 1 |
Prawo do pisania przysługuje tylko zalogowanym użytkownikom. Zaloguj się lub zarejestruj