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

* Στη [[μαθηματική λογική|συμβολική λογική]], αν ''t''(''s'') είναι ένας [[καλά σχηματισμένος όρος|καλά σχηματισμένος]] [[όρος (μαθηματικά)|όρος]] στα πλαίσια συγκεκριμένης [[τυπική γλώσσα|γλώσσας]], τα ''συμφραζόμενα'' ή το ''συγκείμενο'' του όρου ''s'' είναι ο όρος ''t''(''χ''), όπου ''χ'' είναι μία αυθαίρετη μεταβλητή που δεν συμπεριλαμβάνεται ήδη στη δοσμένη γλώσσα.