まあ文や式の完全に一般的な定義は存在しないし、ここで決めるのも難しいだろうな。

式は値を持つことが多い。
文は値を持たないことが多い。
正確な定義は言語によって異なる。

としか言えんでしょ。
前スレでdenotational semanticsから明らかと言ってた人は何か勘違いしてるとしか
思えない。