polski term
Zbiór elementów spełniających formę zdaniową
1. zbiory i działania - sets theoretic operations ?
2Prawa rachunku zbiorów - set theory formulas ?
3. Zbiór elementów spełniających formę zdaniową- tu już nie mam inwencji
Bardzo proszę o pomoc
3 +1 | set of elements fulfilling a predicate | M.A.B. |
Proposed translations
set of elements fulfilling a predicate
--------------------------------------------------
Note added at 3 godz. (2017-03-07 18:32:10 GMT)
--------------------------------------------------
As An-Ja says: satisfying will be better
Conceptually, we consider our aspect labels as the set of all syntactically possible 1 ... a predicate is equivalent to the set of all elements fulfilling that predicate.
Dziękuję bardzo za wyczerpującą podpowiedź i źródła . Jesteście Państwo niezawodni - jak zwykle |
I am very grateful ! A very competent anwer! |
agree |
An-Ja
: More common usage --->> satysfying
https://en.wikipedia.org/wiki/First-order_logic
2 godz.
|
Yes, seems better, thanks
|
Reference comments
forma zdaniowa
Funkcja zdaniowa (inaczej predykat lub formuła zdaniowa) to wyrażenie językowe zawierające zmienne wolne, które w wyniku związania tych zmiennych kwantyfikatorami lub podstawienia za nie odpowiednich nazw staje się zdaniem. Dla funkcji (formuły)
https://pl.wikipedia.org/wiki/Funkcja_zdaniowa
https://en.wikipedia.org/wiki/Predicate_(mathematical_logic)
forma zdaniowa - funkcja zdaniowa
Formę zdaniową będziemy oznaczać symbolem p(x).
Dla dowolnej przestrzeni X ≠ 0, wyrażenie w(x), w którym występuje zmienna x i które staje się zdaniem prawdziwym lub fałszywym nazywamy funkcją zdaniową (formą zdaniową) jednej zmiennej, której zakresem zmienności jest przestrzeń X.
Funkcją zdaniową określoną na pewnym zbiorze nazywamy każde zdanie zawierające zmienną, takie, że po wstawieniu w miejsce zmiennej dowolnego elementu z tego zbioru zdanie to staje się zdaniem logicznym.
Dziękuję bardzo za pomoc i obszerne wyjaśnienia . Net trafiło do mojej humanistycznej duszy;-) |
Discussion