They are to monadic predicate logic what Boolean algebras are to propositional logic, and what polyadic algebras are to first-order logic.是什么意思_They are to monadic predicate logic what Boolean algebras are to propositional logic, and what polyadic algebras are to first-order logic.在線(xiàn)翻譯_英語(yǔ)_讀音_用法_例句