1、Formal logic allows you to check a logical claim without considering what the claim means.
形式邏輯允許你檢查合乎邏輯的索賠而沒有考慮到索賠的意思。

2、The study of this formal logic undoubtedly has its USES.
對這種形式邏輯的研究，無疑是有用的。

3、Formal logic is applied to proving correctness properties of programs in Chapter 8.
第八章介紹應(yīng)用應(yīng)用推理等價(jià)形式邏輯證明程序正確性。

4、The division criteria is the formal logic of the roof, which is perfectly meaningless.
空間劃分的標(biāo)準(zhǔn)與屋頂?shù)男问竭壿?a href="/zaoju/e3497.htm">一致，但屋頂?shù)男问?a href="/zaoju/9214138.htm">卻是沒有意義的。

formal logic翻譯