Mis vahe on implikatsioonisümbolil ⇒ ja →?


Vastus 1:

Tavaliselt tähistab ⇒ implikatsiooni metakeeles, samas kui ... tõlgitakse kui "kui M on σ → τ mudel, siis M on ρ mudel". Lühidalt: inimesed kasutavad erinevaid sümboleid ja see on nii hea, kui .... Võrrelge antud versiooninumbrit kujul major.minor.build.patch ja vaadake, kas üks neist on väiksem kui teine.