此外,若Q是「左遞增」或「左遞減」的,則Q是「左單調」(Left Monotone)的,否則 ... 量化句各有四個等價形式,例如"Every S is P"便被推廣為以下四個等價命題:"At ...
確定! 回上一頁