logika x: Funkcja zdaniowa − wyrażenie zawierające zmienne wolne. Jeżeli chce uzyskać zdanie, to muszę związać zmienne wolne kwantyfikatorami lub podstawić za nie nazwy. Taki opis stworzyłem bazując na Wikipedii.. teraz chciałbym to zrozumieć Możecie podać jakiś przykład takiego wiązania kwantyfikatorem (chodzi o ogólny, szczegółowy?)? Oraz pytanie, o co chodzi z "nazwami"? To jakiś odpowiednik na wartości?

PW: liczba naturalna n dzieli się przez 2 ⇒ n dzieli się przez 4. Po zastosowaniu kwantyfikatora dostaniesz wypowiedź, której można przypisać wartość logiczną: dla każdej liczby naturalnej n (n dzieli się przez 2 ⇒ n dzieli się przez 4) (jest to w tym wypadku zdanie fałszywe). Po podstawieniu za n nazwy konkretnego obiektu można uzyskać zdanie, np. 7 dzieli się przez 2 ⇒ 7 dzieli się przez 4 (jest to zdanie prawdziwe, podstawiając inną liczbę można uzyskać zdanie fałszywe).

x: Zrozumiałem, dziękuję Jeśli masz chwilę, to zajrzyj proszę do 358974.