Zbiór elementów spełniających formę zdaniową

15:24 Mar 7, 2017
Polish to English translations [PRO]
Science - Mathematics & Statistics / algebra
Polish term or phrase: Zbiór elementów spełniających formę zdaniową
opis programu nauczania matematyki - dział rachunek zbiorów
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
meyand
Local time: 01:38


Summary of answers provided
3 +1set of elements fulfilling a predicate
M.A.B.
Summary of reference entries provided
forma zdaniowa
M.A.B.
forma zdaniowa - funkcja zdaniowa
An-Ja

Discussion entries: 1





  

Answers


15 mins   confidence: Answerer confidence 3/5Answerer confidence 3/5 peer agreement (net): +1
set of elements fulfilling a predicate


Explanation:
Jeżeli dobrze kombinuję czym jest tu forma zdaniowa.

--------------------------------------------------
Note added at   3 godz. (2017-03-07 18:32:10 GMT)
--------------------------------------------------

As An-Ja says: satisfying will be better

Example sentence(s):
  • 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.

    https://books.google.pl/books?id=uhcqLx-XwbgC&pg=PA232&lpg=PA232&dq=set+of+elements+fulfilling+a+predicate&source=bl&ots=LRYQIoN7g-&sig=q6Gp
M.A.B.
Poland
Local time: 01:38
Specializes in field
Native speaker of: Native in PolishPolish
PRO pts in category: 178
Notes to answerer
Asker: Dziękuję bardzo za wyczerpującą podpowiedź i źródła . Jesteście Państwo niezawodni - jak zwykle

Asker: I am very grateful ! A very competent anwer!


Peer comments on this answer (and responses from the answerer)
agree  An-Ja: More common usage --->> satysfying https://en.wikipedia.org/wiki/First-order_logic
2 hrs
  -> Yes, seems better, thanks
Login to enter a peer comment (or grade)




Reference comments


14 mins peer agreement (net): +1
Reference: forma zdaniowa

Reference information:
In mathematical logic, a predicate is commonly understood to be a Boolean-valued function P: X→ {true, false}, called the predicate on X. However, predicates have many different uses and interpretations in mathematics and logic, and their precise definition, meaning and use will vary from theory to theory. So, for example, when a theory defines the concept of a relation, then a predicate is simply the characteristic function or the indicator function of a relation. However, not all theories have relations, or are founded on set theory, and so one must be careful with the proper definition and semantic interpretation of a predicate.

Example sentence(s):
  • 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)
M.A.B.
Poland
Specializes in field
Native speaker of: Native in PolishPolish
PRO pts in category: 178

Peer comments on this reference comment (and responses from the reference poster)
agree  Frank Szmulowicz, Ph. D.
6 mins
Login to enter a peer comment (or grade)

2 hrs peer agreement (net): +1
Reference: forma zdaniowa - funkcja zdaniowa

Reference information:
Formą zdaniową zmiennej x nazywamy takie wyrażenie, w którym występuje zmienna x i które staje się zdaniem logicznym, gdy w miejsce x podstawimy dowolny element zbioru D, zwanego dziedziną.
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.


    https://www.medianauka.pl/forma-zdaniowa
    Reference: http://www.math.edu.pl/funkcja-zdaniowa
An-Ja
Poland
Native speaker of: Native in PolishPolish
Note to reference poster
Asker: Dziękuję bardzo za pomoc i obszerne wyjaśnienia . Net trafiło do mojej humanistycznej duszy;-)


Peer comments on this reference comment (and responses from the reference poster)
agree  M.A.B.: Tak, też założyłem że to to samo.
33 mins
Login to enter a peer comment (or grade)



Login or register (free and only takes a few minutes) to participate in this question.

You will also have access to many other tools and opportunities designed for those who have language-related jobs (or are passionate about them). Participation is free and the site has a strict confidentiality policy.

KudoZ™ translation help

The KudoZ network provides a framework for translators and others to assist each other with translations or explanations of terms and short phrases.


See also:
Term search
  • All of ProZ.com
  • Term search
  • Jobs
  • Forums
  • Multiple search