The paper explores the conditions of reasoning rules for predication logic based on logic relationship associating with employing counter-examples.是什么意思_The paper explores the conditions of reasoning rules for predication logic based on logic relationship associating with employing counter-examples.在線(xiàn)翻譯_英語(yǔ)_讀音_用法_例句