注：

關(guān)于三條公理的理解：

P1主要用于蘊涵引入或后件引入

P2主要用于構(gòu)建利于分離規(guī)則的結(jié)構(gòu)

P3類似反證法