Principle of Direct-Proof Resolution for Automatic Propositional Logic Theorems Proving是什么意思 Principle of Direct-Proof Resolution for Automatic Propositional Logic Theorems Proving怎么读