语义后承(semantic consequence),句法后承(syntactic consequence),实质蕴含(material implication / material conditional),在数理逻辑系统 ...
確定! 回上一頁