logika MeToja: Jak to się czyta? Część definicji funkcji zdaniowej. Zbiór elementów spełniających funkcję zdaniową φ oznaczamy {x ∈ X : φ(x)} = {x ∈ X : φ(x) jest zdaniem prawdziwym }. x należący do zbioru X, taki że spełnia funkcję zdaniową phi = równy jest... no nie mam pomysłu

znak: Kombinujesz. Oba zbiory są równe, więc masz to samo. Prawa strona: zbiór elementów ze zbioru X, takich, że funkcja zdaniowa o danym argumencie jest zdaniem prawdziwym. Innymi słowy masz zbiór elementów, które spełniają daną funkcję zdaniową.

MeToja: Dzięki wielkie, dopiero zaczynam logikę

znak: Luzik, też to przerabiałem. I też tak rozumowałem, więc stąd wiem, by za dużo nie kombinować Dodam jeszcze coś w temacie. Funkcji zdaniowej można przypisać jedną z dwóch wartości: prawdę lub fałsz. Zwykle jeśli mamy w warunku samo φ(x), to domyślnie chodzi o to, kiedy dana funkcja zdaniowa przyjmuje wartość "prawda". Stąd taki skrócony zapis po lewej stronie.

MeToja: Już rozumiem to lepiej, dzięki!