| 词汇 | example_english_proof |
| 释义 | Examples of proofThese examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors. The same can be shown for product and difference to complete the proof of the proposition. We will sketch the proof since it uses (5). They will be useful for the proof of the existence of an equilibrium-supporting price system. We then extend the proof to plans of all classes. Before we plunge into the proof of (4.37), we give a quick overview of our strategy. Additional copies, not exceeding 200, may be had at cost price : these should be ordered when the final proof is returned. We first tried to adapt these systems to proof systems. This latter approach is favoured in semantical investigations as it renders no proof-theoretical problems when forming term models. As there many cases and subcases, we sketch the general proof and then present in detail two of them. We omit its proof since the proof is straightforward. The proof of the next result is straightforward and omitted. We leave the straightforward proof of this to the reader. The proof of the following result is straightforward. The proof for the case of a continuously stratified fluid between rigid boundaries is straightforward. The proof is relatively straightforward; we give a sketch but omit the details. The proof of these estimates is straightforward and will be omitted. The proof of this embedding result is straightforward and will thus be left as an exercise. It may be called the structural orientation of the proof-structure. However, our procedure may perhaps come in handy in studies of the complexity of proofs. If possible, one should instead resort to other proof principles that do not need admissibility. This assumption can be made more precise at the expense of making the proof far more complicated. We present proof methods for correctness and completeness for definite programs and generalize them to normal programs. These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors. |
反思网英语在线翻译词典收录了377474条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。