logical adj. 1.邏輯的,邏輯上的;邏輯學(xué)上的。 2.合乎邏輯的。 3.邏輯上必然的。 logical constants 邏輯常詞[常項(xiàng)]。 logical necessity 邏輯的必然性。 a logical argument 條件分明的論證。 a logical process 合理的程序,合乎邏輯的[必然的]過(guò)程。 the logical result 必然的結(jié)果。 adv. -ly ,-ness n.
It does not amount to a logical proof of the statement . 它還不是這個(gè)論題的邏輯證明。
Finally, we carried out the theoretically logical proof of the security of the revised protocol, using the formal logic analysis method 最后,作者運(yùn)用形式邏輯分析的方法對(duì)修改后協(xié)議的安全性進(jìn)行了理論上的邏輯證明。