logika Star: " x jest kwadratem" − to a)zdanie logiczne prawdziwe / b) fałszywe c)forma zdaniowa d) nie forma zdaniowa ani zdanie logiczne ?

Jack: c) znając życie, choć dałoby sie wybronić z odp. b)

Star: no ale czy to nie jest przypadkiem forma zdaniowa bo chyba każda liczba rzeczywista jest kwadratem jakiejś innej...

Jack: Jedną z możliwych def. formy zdaniowej jest następująca: wyrażenie w której występuje przynajmniej jedna zmienna niezwiązana kwantyfikatorem. Nie wiem skąd bierzesz do tego przykładu "liczbę rzeczywistą" , "kwadrat jakiejś innej"... Masz wyrażenie i jego się trzymaj. Dodałem że dałoby się wybronić z b) ponieważ można przyjąć inną definicję (której m.in. Tarski używał).

Star: ok wierzę ci na słowo

Jack: na pewno znajdziesz podobną def. funkcji zdaniowej (formy zdaniowej) w (niemal) każdym podręczniku