尽管这样的语句形式上正确，其失衡却会使听众感到震惊，暗示有更深层的问题。
While such a sentence might be formally correct, its imbalance jars the listener, and hints at deeper problems.
塔斯基认为，令人满意的真句子定义应该满足两个条件：(1)形式上正确：(2)实质上适当。
Tarski thought that a satisfactory definition of truth should satisfy two conditions: (1) it is formally correct; (2) it is materially adequate.
一个非常重要的问题是询问模板函数，这些形式上的模板参数会被类型集合正确的取代，而不仅仅是STL算法。
One very important question to ask about any template function, not just about STL algorithms, is what the set of types is that may correctly be substituted for the formal template parameters.
理论在形式上是正确的，但是它的相关解释是人为的产物。
The theoretic is correct in forms. However, its related interpretation is too artificial.
被注意到的是，有两个行为部分-一个是正确匹配获得钥匙'和使用钥匙开盒子'所以工作似乎在形式上是一样的。
Notice that there are still two behaviour segments - 'open the right match-box to get the key' and 'use the key to open the box' - so the task seems formally to be the same.
虽然这样做形式上是正确的，但效率不高。
虽然这一论证在形式上是正确的，但最后的结论却并不正确。
While the argument was formally correct, their final conclusion was not.
虽然这一论证在形式上是正确的，但最后的结论却并不正确。
While the argument was formally correct, their final conclusion was not.
应用推荐