σημασιολογία: Διαφορά μεταξύ των αναθεωρήσεων

'''{{PAGENAME}}''' {{θ}}

# {{ετ|γλωσσολογία}} η [[μελέτη]] του [[φάσμα|φάσματος]] των [[σημασία|σημασιών]] μιας [[λέξη]]ς

# {{ετ|επιστυπ}} [[semantics]]: το [[νόημα]] ή η [[σημασία]] των όσων εκτελεί ο [[κώδικας]] μιάς [[γλώσσα προγραμματισμού|γλώσσας προγραμματισμού]], ακόμη και αν είναι [[συντακτικό|συντακτικά]] σωστός (λειτουργεί χωρίς λάθη)

#: {{πχ}} ''Η εντολή: <code>if (1=2) then εντολή1 else εντολή2</code>, είναι συντακτικά σωστή αλλά όχι '''σημασιολογικά''' γιατί είναι ισοδύναμη με την <code>εντολή2</code> δεδομένου ότι η έκφραση <code>1 = 2</code> είναι πάντα ψευδής (false)''