zmienna wolna iteRacj@: Która zmienna w tym wyrażeniu jest zmienną wolną? (∀x)(∃y)((xy = xz)⇒(y = z))

jc: x, y są związane kwantyfikatorami, pozostaje wolne z.

iteRacj@: A w odpowiedziach mam x, co mi się nie zgadzało. Widocznie jest pomyłka, dziękuję.

Blee: Po pierwsze ... to nie jest prawda dla x=0 Po drugie, skoro jest kwantyfikator ∀ to znaczy ze ta zmienna jest DOWOLNA.

Adamm: @Blee Po pierwsze ... dla x=0 może być prawdziwe Po drugie, chyba pomieszało ci się "dowolna" i "wolna"

Blee: Adamm ... 'moze' nie oznacza ze jest prawdziwe ... nie musi byc prawdziwe, wiec nie jest prawdziwe To tak samo jakbysmy powiedzieli ze (x² = 4) ⇒ (x=2) nie zdaniem nieprawdziwym bo przeciez 'moze' byc prawdziwe Masz racje z tym wolnym

Adamm: Funkcja zdaniowa nie jest ani prawdziwa ANI FAŁSZYWA dopóki nie podstawi się pod nią wartości

iteRacj@: Ta funkcja zdaniowa stanie się zdaniem tylko wtedy, gdy w miejsce zmiennej wolnej wstawię liczbę i dopiero wtedy mogę określić, czy jest to zdanie fałszywe lub prawdziwe, tak?

Adamm: Tak

iteRacj@: a wykresem funkcji zdaniowej (x² = 4) ⇒ (x=2) jest ℛ\{−2} ?

Adamm: Pod dziedziną liczb rzeczywistych, tak

iteRacj@: Poza rzeczywiste nie wychodzę, bo trudno potem wrócić. Dziękuję za odpowiedzi.