Mam taką formułę i muszę ją przedstawić w postaci równoważnej ze wszystkimi kwantyfikatorami na początku bez ograniczonego zasięgu
\(\displaystyle{ \forall x \left( P(x)\right) \rightarrow \forall x \left( Q(x) \vee \forall x \left( R(x) \right) \right)}\)
Najgorzej mnie martwia te 2 zagniezdzone kwantyfikatory, nie wiem za bardzo jak to interpretować. Z góry dziękuje za pomoc
Wyciąganie kwantyfikatorów na początek formuły
-
- Administrator
- Posty: 34486
- Rejestracja: 20 mar 2006, o 21:54
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Podziękował: 4 razy
- Pomógł: 5220 razy
Re: Wyciąganie kwantyfikatorów na początek formuły
Zapisz tę formułę równoważnie:
\(\displaystyle{ \forall x \left( P(x)\right) \rightarrow \forall y \left( Q(y) \vee \forall z \left( R(z) \right) \right).}\)
JK
\(\displaystyle{ \forall x \left( P(x)\right) \rightarrow \forall y \left( Q(y) \vee \forall z \left( R(z) \right) \right).}\)
JK
-
- Użytkownik
- Posty: 7
- Rejestracja: 4 maja 2019, o 23:01
- Płeć: Mężczyzna
- Lokalizacja: Warszawa
- Podziękował: 3 razy
Wyciąganie kwantyfikatorów na początek formuły
Wyszło mi coś takiego:
\(\displaystyle{ \exists x \forall y \forall z \left( P(x) \rightarrow \left( Q(y) \vee (R(z)\right) \right)}\)
Jeszcze miałbym pytanie do jednego:
\(\displaystyle{ \forall _{P(x)} \left( \exists _{Q(y)} \left( R(y)\right) \rightarrow \forall _{S(y)} \left( P(x,y) \right) \right)}\)
W tym wychodzi mi:
\(\displaystyle{ \forall _{P(x)} \forall _{Q(y)} \forall _{S(Z)} \left( R(y) \rightarrow P(x,z)\right)}\)
\(\displaystyle{ \exists x \forall y \forall z \left( P(x) \rightarrow \left( Q(y) \vee (R(z)\right) \right)}\)
Jeszcze miałbym pytanie do jednego:
\(\displaystyle{ \forall _{P(x)} \left( \exists _{Q(y)} \left( R(y)\right) \rightarrow \forall _{S(y)} \left( P(x,y) \right) \right)}\)
W tym wychodzi mi:
\(\displaystyle{ \forall _{P(x)} \forall _{Q(y)} \forall _{S(Z)} \left( R(y) \rightarrow P(x,z)\right)}\)
-
- Administrator
- Posty: 34486
- Rejestracja: 20 mar 2006, o 21:54
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Podziękował: 4 razy
- Pomógł: 5220 razy
Wyciąganie kwantyfikatorów na początek formuły
Dobrze.TuTu321 pisze:Wyszło mi coś takiego:
\(\displaystyle{ \exists x \forall y \forall z \left( P(x) \rightarrow \left( Q(y) \vee (R(z)\right) \right)}\)
Dobrze.TuTu321 pisze:Jeszcze miałbym pytanie do jednego:
\(\displaystyle{ \forall _{P(x)} \left( \exists _{Q(y)} \left( R(y)\right) \rightarrow \forall _{S(y)} \left( P( x,y) \right) \right)}\)
W tym wychodzi mi:
\(\displaystyle{ \forall _{P(x)} \forall _{Q(y)} \forall _{S(Z)} \left( R(y) \rightarrow P(x,z)\right)}\)
JK
-
- Użytkownik
- Posty: 7
- Rejestracja: 4 maja 2019, o 23:01
- Płeć: Mężczyzna
- Lokalizacja: Warszawa
- Podziękował: 3 razy
Wyciąganie kwantyfikatorów na początek formuły
Miałbym jeszcze jedno pytanko: Czy to jest tautologią?
\(\displaystyle{ \left( \forall x \forall y \left( P(x,y) \rightarrow P(y,x) \right) \right) \rightarrow \forall x P(x,x)}\)
Moim zdaniem nie jest, i jako kontrprzykład bym podał np. \(\displaystyle{ P(x,y) = x > y \wedge y > x}\)
\(\displaystyle{ \left( \forall x \forall y \left( P(x,y) \rightarrow P(y,x) \right) \right) \rightarrow \forall x P(x,x)}\)
Moim zdaniem nie jest, i jako kontrprzykład bym podał np. \(\displaystyle{ P(x,y) = x > y \wedge y > x}\)
-
- Administrator
- Posty: 34486
- Rejestracja: 20 mar 2006, o 21:54
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Podziękował: 4 razy
- Pomógł: 5220 razy