Although stated in a formal way, the above rules allow for a very intuitive reading in terms of classical logic.
尽管是以形式方式陈述的，上述规则允许用经典逻辑的方式非常直觉的读出来。