Glossary entry (derived from question below)
English term or phrase:
open sentence
Dutch translation:
open bewering
Added to glossary by
Katuschka Kuipers - Van Nuland
Apr 15, 2013 18:57
11 yrs ago
English term
open sentence
English to Dutch
Tech/Engineering
Mathematics & Statistics
Dit staat in een vertaling met allemaal wiskundige/meetkundige termen, en komt o.a. voor in de volgende context:
'Choose an open sentence to intersect'
Ik heb wel een aantal Franse vertalingen gevonden (phrase ouvert, formule libre), en op de volgende webpagina staat een duidelijke uitleg in het Engels:
http://www.mathsisfun.com/algebra/open-sentences.html
Maar hoe heet dit nou in het Nederlands?
'Choose an open sentence to intersect'
Ik heb wel een aantal Franse vertalingen gevonden (phrase ouvert, formule libre), en op de volgende webpagina staat een duidelijke uitleg in het Engels:
http://www.mathsisfun.com/algebra/open-sentences.html
Maar hoe heet dit nou in het Nederlands?
Proposed translations
(Dutch)
3 | open bewering |
Barend van Zadelhoff
![]() |
3 +1 | open formule |
DLyons
![]() |
4 | open expressie |
Ronald van Riet
![]() |
Proposed translations
5 hrs
Selected
open bewering
de terminologie rond 'sentence' is inderdaad verwarrend, je zou verwachten 'propositie' maar op grond van vergelijking het volgende:
Propositie
Tot nu toe hebben we gewerkt met proposities. Dit onderdeel heet dan ook propositielogica.
Nu gaan we open beweringen of predikaten aan de orde stellen.
Dit noemen we predikatenlogica.
Voorbeelden van open beweringen of predikaten zijn:
x - 1 > 0
x.x + 2x - 5 < 0
y = 2x.x + 1
(a + b).(a + b) = a.a + 2a.b + b.b
Open beweringen bevatten één of meer letters die nog geen vaste waarde hebben.
Van open beweringen kun je dus ook niet zeggen of ze waar of onwaar zijn.
Het zijn geen proposities.
Zodra je getallen hebt ingevuld, wordt de open bewering een propositie, die waar is of niet waar is
http://www.fisme.science.uu.nl/ctwo/WiskundeD/MateriaalDomei...
vergelijk dat met:
--> In mathematics, an open sentence (usually an equation or equality) is described as "open" in the sense that its truth value is meaningless until its variables are replaced with specific numbers, at which point the truth value can usually be determined (and hence the sentences are no longer regarded as "open"). <---
These possible replacement values are assumed to range over a subset of either the real or complex numbers, depending on the equation or inequality under consideration (in applications, real numbers are usually associated also with measurement units). The replacement values which produce a true equation or inequality are called solutions of the equation or inequality, and are said to "satisfy" it.
http://en.wikipedia.org/wiki/Open_sentence
--------------------------------------------------
Note added at 16 hrs (2013-04-16 11:38:36 GMT)
--------------------------------------------------
Ikzelf ben nu in ieder geval voldoende overtuigd met het materiaal dat ik nu heb
wat wiskunde betreft:
Een vergelijking bestaat uit een linker lid en een rechter lid met daartussen een 'isgelijkteken'. Het is een voorbeeld * van een open bewering *. Het linker- en rechterlid is meestal een formule met variabelen en getallen. Dit kan één variabele zijn, maar er zijn ook vergelijkingen met meer variabelen.
http://www.wiskundeleraar.nl/page3.asp?nummer=7167
Je kunt een vergelijking opvatten als een bewering. Met variabelen wordt het zelfs een * open bewering *.
De vraag is dan bijvoorbeeld 'wat kan je voor x nemen zodat je een ware bewering krijgt?' We noemen dat de oplossing van die vergelijking. Soms is dat dan niet één oplossing. Het kan ook een verzameling van oplossingen zijn.
Bij wiskunde willen we dan ook altijd het liefst alle oplossingen hebben.
http://www.wiskundeleraar.nl/page3.asp?nummer=7658
Kijk ook in de pdf op bijv bladzijde 17 kopje 3.2
* Open beweringen *
Variabelen
http://www.fisme.science.uu.nl/wiskrant/artikelen/artikelen0...
--------------------------------------------------
Note added at 5 days (2013-04-21 18:41:57 GMT) Post-grading
--------------------------------------------------
Dank je wel, Katuschka.
Voor het tonen van een 'open geest'. :-)
Propositie
Tot nu toe hebben we gewerkt met proposities. Dit onderdeel heet dan ook propositielogica.
Nu gaan we open beweringen of predikaten aan de orde stellen.
Dit noemen we predikatenlogica.
Voorbeelden van open beweringen of predikaten zijn:
x - 1 > 0
x.x + 2x - 5 < 0
y = 2x.x + 1
(a + b).(a + b) = a.a + 2a.b + b.b
Open beweringen bevatten één of meer letters die nog geen vaste waarde hebben.
Van open beweringen kun je dus ook niet zeggen of ze waar of onwaar zijn.
Het zijn geen proposities.
Zodra je getallen hebt ingevuld, wordt de open bewering een propositie, die waar is of niet waar is
http://www.fisme.science.uu.nl/ctwo/WiskundeD/MateriaalDomei...
vergelijk dat met:
--> In mathematics, an open sentence (usually an equation or equality) is described as "open" in the sense that its truth value is meaningless until its variables are replaced with specific numbers, at which point the truth value can usually be determined (and hence the sentences are no longer regarded as "open"). <---
These possible replacement values are assumed to range over a subset of either the real or complex numbers, depending on the equation or inequality under consideration (in applications, real numbers are usually associated also with measurement units). The replacement values which produce a true equation or inequality are called solutions of the equation or inequality, and are said to "satisfy" it.
http://en.wikipedia.org/wiki/Open_sentence
--------------------------------------------------
Note added at 16 hrs (2013-04-16 11:38:36 GMT)
--------------------------------------------------
Ikzelf ben nu in ieder geval voldoende overtuigd met het materiaal dat ik nu heb
wat wiskunde betreft:
Een vergelijking bestaat uit een linker lid en een rechter lid met daartussen een 'isgelijkteken'. Het is een voorbeeld * van een open bewering *. Het linker- en rechterlid is meestal een formule met variabelen en getallen. Dit kan één variabele zijn, maar er zijn ook vergelijkingen met meer variabelen.
http://www.wiskundeleraar.nl/page3.asp?nummer=7167
Je kunt een vergelijking opvatten als een bewering. Met variabelen wordt het zelfs een * open bewering *.
De vraag is dan bijvoorbeeld 'wat kan je voor x nemen zodat je een ware bewering krijgt?' We noemen dat de oplossing van die vergelijking. Soms is dat dan niet één oplossing. Het kan ook een verzameling van oplossingen zijn.
Bij wiskunde willen we dan ook altijd het liefst alle oplossingen hebben.
http://www.wiskundeleraar.nl/page3.asp?nummer=7658
Kijk ook in de pdf op bijv bladzijde 17 kopje 3.2
* Open beweringen *
Variabelen
http://www.fisme.science.uu.nl/wiskrant/artikelen/artikelen0...
--------------------------------------------------
Note added at 5 days (2013-04-21 18:41:57 GMT) Post-grading
--------------------------------------------------
Dank je wel, Katuschka.
Voor het tonen van een 'open geest'. :-)
Note from asker:
Bedankt voor het meedenken en zoeken naar informatie! |
4 KudoZ points awarded for this answer.
+1
11 hrs
open formule
Een formule A is open als ze niet gesloten is.
--------------------------------------------------
Note added at 11 hrs (2013-04-16 05:59:26 GMT)
--------------------------------------------------
A sentence of a predicate logic is a boolean-valued well formed formula with no free variables.
--------------------------------------------------
Note added at 11 hrs (2013-04-16 05:59:26 GMT)
--------------------------------------------------
A sentence of a predicate logic is a boolean-valued well formed formula with no free variables.
Peer comment(s):
agree |
Stefan Blommaert
: beslist formule: wiskunde en logica (bewering/predicaat/uitspraak) hanteren hier nu spijtig genoeg niet dezelfde terminologie, en de vraag lijkt uit de wiskundige hoek te komen
34 mins
|
12 hrs
open expressie
expressie is dé wiskundige term voor "sentence" en extrapolatie zegt dan dat een "open sentence" een "open expressie" is, al moet ik eerlijk bekennen dat ik deze term zelf nooit ben tegengekomen.
Discussion
Het heet:
Uittreksel Algebra A
Een PROPOSITIEFUNCTIE (ook wel PREDIKAAT of OPEN BEWERING) is een uitdrukking met variabelen, die na toekenning van waarden aan de variabelen een propositie wordt.
http://www.google.nl/url?sa=t&rct=j&q="open bewering"&source...
http://en.wikipedia.org/wiki/Propositional_formula
En daar kwam ik op via:
http://mathworld.wolfram.com/Sentence.html
A closed sentential formula is called a sentence (Carnap 1958, pp. 24-25 and 85). However, in some language systems, open sentential formulas are also admitted as sentences (Carnap 1958, p. 25).
http://mathworld.wolfram.com/ClosedSententialFormula.html
http://mathworld.wolfram.com/OpenSententialFormula.html
Een vergelijking bestaat uit een linker lid en een rechter lid met daartussen een 'isgelijkteken'. Het is een voorbeeld van een open bewering. Het linker- en rechterlid is meestal een formule met variabelen en getallen. Dit kan één variabele zijn, maar er zijn ook vergelijkingen met meer variabelen.
http://www.wiskundeleraar.nl/page3.asp?nummer=7167
Propositie
Tot nu toe hebben we gewerkt met proposities. Dit onderdeel heet dan ook propositielogica.
Nu gaan we open beweringen of predikaten aan de orde stellen.
Dit noemen we predikatenlogica.
Voorbeelden van open beweringen of predikaten zijn:
x - 1 > 0
x.x + 2x - 5 < 0
y = 2x.x + 1
(a + b).(a + b) = a.a + 2a.b + b.b
Open beweringen bevatten één of meer letters die nog geen vaste waarde hebben.
Van open beweringen kun je dus ook niet zeggen of ze waar of onwaar zijn.
Het zijn geen proposities.
Zodra je getallen hebt ingevuld, wordt de open bewering een propositie, die waar is of niet waar is.
http://www.fisme.science.uu.nl/ctwo/WiskundeD/MateriaalDomei...
Verder vind ik deze overeenkomst frappant:
Het voorbeeld van de vraagstelster:
http://www.mathsisfun.com/algebra/open-sentences.html
en mijn voorbeeld (zie hieronder) hieruit (bladzijde 2):
http://www.math.leidenuniv.nl/~hfinkeln/downloads/Caleidosco...
De uitspraak over de 'open uitspraak' komt uit de mond van deze meneer:
http://www.petervantriet.nl/index.php?pageID=49
alsnog:
http://www.google.nl/url?sa=t&rct=j&q="open uitspraak" "wisk...
In de wiskunde spelen uitspraken een hoofdrol. Wiskunde is een wetenschap van uitspraken, waarbij getracht wordt de juistheid van deze uitspraken aan te tonen. Met de juistheid van een uitspraak wordt bedoeld of deze waar of onwaar is.
Voorbeelden van uitspraken:
• De zon is rond.
• Een week bestaat uit 5 dagen.
• Vijf is meer dan drie.
• 3 + 2 = 5
• 8 − 2 = 11
De eerste twee uitspraken, waarvan er één waar is en één onwaar, zijn niet erg wiskundig van aard, maar het zijn wel uitspraken. De derde is wel wiskundig, maar is taalkundig geformuleerd. De laatste twee uitspraken zijn zowel wiskundig
van aard als ook wat notatie betreft.
Opmerking: De eerste drie uitspraken zijn zinnen. De laatste twee niet! Het ’=’-symbool in deze laatste twee uitspraken is dus geen gezegde, ook al wordt het uitgesproken als is gelijk aan. Gebruik dit ’=’-teken dan ook liever niet als een gezegde! Bijvoorbeeld:
http://www.math.leidenuniv.nl/~hfinkeln/downloads/Caleidosco...
In Getal en Ruimte deel 2VI (1973. p. 43) komt de ongelijkheid 2 x + 1 < 8 met grondverzameling N voor. S is de oplossingsverzameling. Er wordt gevraagd:
Waarom is 3 E S? Op de vraag van een hospitant hoe je dat nagaat, hoorde ik een leerling antwoorden: 'Eerst 1 naar de andere kant brengen.' De hospitant sputterde tegen: 'Is dat nu wel nodig?' 'Je moet toch S uitrekenen? Hoe kun je anders weten of 3 erin zit?' stelde de leerling met enige verwondering vast. Zij had een set ontwikkeld op het bepalen van oplossingsverzamelingen. Maar misschien moeten we voorzichtig zijn met deze konklusie in dit geval. Het is mogelijk dat de leerling niet meer beschikte over het schema van het oplossen
van een * variabele uit een open uitspraak. *
bv
Inductie bewijst dan dat een uitspraak geldt voor de hele verzameling door te bewijzen dat de uitspraak geldt voor het minimale element van de partiële ordening en vervolgens te bewijzen dat als de uitspraak geldt voor een deelverzameling van de verzameling, dat de uitspraak dan ook geldt ...
http://nl.wikipedia.org/wiki/Inductie_(wiskunde)