Logica, betekenis onduidelijk

[pppp]

Hoewel ik wel redelijk het gevoel heb dat ik de klok hoor luiden, maar helaas de klepel nog niet zie hangen, heb ik een vraag, om ofwel mijn vermoedens te bevestingen ofwel te ontkrachten.

Wanneer ik zie staan: ' is per definitie , voor alle '

Betekent toch niets anders dan de verzameling formules waarop de valuatie V van toepassing is?

N.b. volgens mij heeft jullie tex een update nodig oid. \models wordt bijvoorbeeld niet herkend.

[meneer van Hoesel]

N.b. volgens mij heeft jullie tex een update nodig oid. \models wordt bijvoorbeeld niet herkend.

Al enige tijd geleden is "[ Equation Editor ]" toegevoegd - en ik garandeer dat die ook niet compleet is.

' is per definitie , voor alle Equiton Editor

' is per definitie , voor alle Formule


Een zoekopdracht naar "latex model" op de 12-jarige Google gaf mij alléén maar hints naar site waar ik juist niet zou willen zijn.

[pppp]

hmm die equition editor heeft geen alt-beschrijving zoals een 'normale' formule die wel heeft

Ah, de URL van het plaatje is ook een beschrijving: http://latex.codecogs.com/png.latex?A \in \Gamma
Nice