离散数学之逻辑. Connectives. Negation (not): $\lnot$ (unary connective) 非. Conjunction (and): $\land$ (binary connective) 与. Disjunction ...
確定! 回上一頁