The Internet has created a world in which strict logic is less important than the juxtaposition of striking images.
互联网创造了一个虚拟世界,在这个虚拟世界里,严格的逻辑已不那么重要,大行其道的是错综杂陈的酷炫图像。
This idea fits with the views of some psychologists, who argue that strict classical logic only plays a small part in the human mind.
这个概念符合一些心理学家的观点,这些心理学家认为严谨的经典逻辑在人类想法中只占很小的部分。
But the formal logic analysis system can validate it in a credible and strict way before protocol was applied, it is one of the most promising way for protocol checking.
而形式化逻辑分析方法可以在协议实施之前就用严格可靠的方法对其进行分析验证,是一个最有前途的研究方法。
应用推荐