Overleg:Lijst van wiskundige symbolen

Dit is een mooie lijst maar sommige HTML-symbolen worden op mijn scherm door een vierkantje vervangen.Ik zit op Windows XP Professional SP3 met IE7. Wat is de remedie ??

Andre anckaert 29 dec 2009 16:37 (CET)

Ik had wat beter moeten kijken ! Ondertussen FIREFOX gedownloaded en geïnstalleerd. Alles staat er nu duidelijk op. LEVE MOZILLA !!

Andre anckaert 29 dec 2009 17:13 (CET)

Foutje in getallenverzameling

Bij $\mathbb {N} _{0}$ staat er als verzameling {0,1,2,3, ...} Wat niet juist is daar dit wil zeggen dat je alle natuurlijke getallen neemt exclusief (zonder dus) de 0.

Heb dit snel even aangepast ;-)

Groeten

---

mooie reclame voor mozilla! 217.121.6.116 29 mei 2011 20:39 (CEST)

Fout in voorbeeld van "uitsluitende of", aanvulling bij omschrijving "gelijkwaardigheid"

In de lijst van symbolen uit de propositielogica lijkt het voorbeeld bij het symbool voor "uitsluitende of" onjuist: er moet m.i. links van het gelijkwaardigheidssymbool staan (ik heb de symbolen niet bij de hand op mijn toetsenbord): n<4 "plus" n>6.

In het Wikipedia artikel Verzameling (wiskunde) onder punt 4 (Eigenschappen) kom ik een enkel "tweerichtingen-pijltje" tegen met als betekenis "geijkwaardigheid", wat volgens deze "Lijst van wiskundige symbolen" een dubbel "tweerichtingen-pijltje" zou moeten zijn. Geldt voor het "tweerichtingen-pijltje" ook wat staat bij het "eenrichtingspijltje" daarboven, dat het enkele pijltje ook vaak wordt gebruikt? Dan zou dat erbij moeten worden gezet. Een beginnende gebruiker van deze lijst leest heel precies en zoekt zich anders suf naar de betekenis ...

Strepen

De betekenis van de verticale streep/strepen voor absolute waarde. norm, kardinaliteit, symbool in verzamelingsdefiniitie wordt niet goed onderscheiden. Madyno (overleg) 16 jun 2013 10:57 (CEST)

Dusteken.

Het dusteken ontbreekt. Ik ben te lui om dat zelf toe te voegen, dus moet jij het doen. 93.95.251.162 15 sep 2015 11:45 (CEST) Martin.

Lijkt me nogal vergezocht. In zijn huidige vorm bevat de lijst alleen tekens die je in bijna elk hedendaags wiskundeboek tegenkomt. Het dusteken mag dan zijn plaats hebben in de geschiedenis van de logica, ik moest de link volgen om te weten waar het om ging en ik ben het nog nooit in een wiskundeboek tegengekomen. Laten we dus allemaal even lui blijven als jij. Lieven Smits (overleg) 21 sep 2015 14:41 (CEST)

Turnstile

De tekems ⊢ (in math $\vdash$) en ⊨ (in math $\models$ of $\vDash$) die in het Engels 'turnstile' (tourniquet) en 'double turnstile' heten ontbreken in de lijst. Ze komen wel voor in sommige artikelen, maar hoe ze heten wordt niet genoemd, voor zover ik weet.Madyno (overleg) 31 mei 2020 09:12 (CEST)

Microsofts "Speciale tekens" hanteert de namen "spijkertje naar rechts" en "waar" voor deze tekens (U+22A2 en U+22A8). Ik zag ook U+22A7 "modellen" die kortere benen heeft dan "waar". –bdijkstra (overleg) 31 mei 2020 10:16 (CEST)

Ik herinner me (alleen) ⊢ uit mijn eindredactuursperiode als vdash (in Word als \vdash, autocorrectie) in de betekenis "met als afleidbaar gevolg" c.q. "met als bewijsbaar gevolg". _ DaafSpijker _overleg 31 mei 2020 12:36 (CEST)

Ik bedoel speciaal hoe je ze "uitspreekt", b.v. in: ${\mathcal {F}}\vDash A$. Madyno (overleg) 31 mei 2020 13:56 (CEST)

Tja, ik vraag me nu af of ik het teken ooit heb uitgesproken c.q. ooit zelf heb gebruikt. Desgevraagd zou het worden "F heeft als bewijsbaar gevolg A". In Kleene's Mathematical logic (1967) worden ⊨ en ⊢ in eerste instantie als prefix gebruikt: ⊨ E betekent "E is valid" (pag. 14) en ⊢ A betekent "A is provable" (pag. 34). Verder dan dit kom ik niet._ DaafSpijker _overleg 31 mei 2020 14:20 (CEST)

Ik meen dat $P\vdash Q$ zoiets betekent: $Q$ is afleidbaar (bewijsbaar) uit $P$. En $\vdash Q$ betekent $Q$ is waar. Madyno (overleg) 1 jun 2020 23:19 (CEST)

Ontbrekend symbool

Wat is een = met een ^ erboven? – De voorgaande bijdrage werd geplaatst door 2a02:1810:a531:9a00:6cf1:d4fe:d721:88e8 (overleg · bijdragen) 17 mrt 2024 10:41 (CEST)