Hafaledd: Gwahaniaeth rhwng fersiynau

Cynnwys wedi'i ddileu Cynnwys wedi'i ychwanegu
del
→‎top: Trwsio dolennau rhywogaethau a manion eraill using AWB
 
Llinell 6:
Er enghraifft:
* mae <math>x=y</math> yn golygu fod {{mvar|x}} a {{mvar|y}} yn dynodi yr un gwrthrych.<ref>{{harvnb|Rosser|2008|page=163}}.</ref>
* golyga <math>(x+1)^2=x^2+2x+1</math> y canlynol: os yw {{mvar|x}} yn dynodi unrhyw rif, yna mae gan y ddau fynegiad yr un gwerth.
 
* golyga <math>(x+1)^2=x^2+2x+1</math> y canlynol: os yw {{mvar|x}} yn dynodi unrhyw rif, yna mae gan y ddau fynegiad yr un gwerth.
 
* mae <math>\{x|P(x)\}=\{x|Q(x)\}</math> [[os a dim ond os]] yw <math>P(x) \Leftrightarrow Q(x).</math> Mae'r honiad hwn yn golygu: os yw'r elfennau sy'n bodloni'r priodwedd (neu eiddo) <math>P(x)</math> yr un fath a'r elfennau sy'n bodloni <math>Q(x),</math> yna mae'r ddau ddefnydd o'r nodiant yn diffinio'r un [[Set (mathemateg)|set]]. Mynegir y briodwedd hon, yn aml, fel hyn: "Mae dwy set sydd gyda'r un elfennau yn hafal". Dyma un o [[Gwireb (mathemateg)|wirebau]]'r ddamcaniaeth setiau ac fe'i gelwir yn "wireb yr estynoldeb" (''axiom of extensionality'').<ref>{{harvnb|Lévy|2002|pages=13, 358}}. {{harvnb|Mac Lane|Birkhoff|1999|page=2}}. {{harvnb|Mendelson|1964|page=5}}.</ref>