logowanie

matematyka » forum » forum zadaniowe - uczelnie wyższe » zadanie

Logika, zadanie nr 5493

ostatnie wiadomości  |  regulamin  |  latex

AutorZadanie / 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





© 2019 Mariusz Śliwiński      o serwisie | kontakt   drukuj