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

Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
ετικέτα λογική ολογράφως
Γραμμή 10:
'''{{PAGENAME}}''' {{θ}}
# {{γλωσσ}} η [[μελέτη]] του [[φάσμα|φάσματος]] των [[σημασία|σημασιών]] μιας [[λέξη]]ς
# ({{λογικμαθ|0=-}}, {{μαθ}}''[[λογική]]'') ο καθορισμός σχέσεων μεταξύ συμβόλων
# {{επυπ}} το [[νόημα]] ή η [[σημασία]] των όσων εκτελεί ο [[κώδικας]] μιάς [[γλώσσα προγραμματισμού|γλώσσας προγραμματισμού]], ακόμη και αν είναι [[συντακτικό|συντακτικά]] σωστός (λειτουργεί χωρίς λάθη)
#: ''Η εντολή: <code>if (1=2) then εντολή1 else εντολή2</code>, είναι συντακτικά σωστή αλλά όχι '''σημασιολογικά''' γιατί είναι ισοδύναμη με την <code>εντολή2</code>''