"查查詞典"手機(jī)版
千萬人都在用的超大詞匯詞典翻譯APP
In mathematical logic, a superintuitionistic logic is a propositional logic extending intuitionistic logic. Classical logic is the strongest consistent superintuitionistic logic, thus consistent superintuitionistic logics are called intermediate logics (the logics are intermediate between intuitionistic logic and classical logic).
詳細(xì)百科解釋