句法后承:Syntactic consequence 句法蕴含:Syntactic entailment 语义后承:Semantic consequence 语义蕴含:Semantic entailment一、解释1 \Gamma \vdash \varphi ...
確定! 回上一頁