离散数学之逻辑ConnectivesNegation (not): $\lnot$ (unary connective) 非Conjunction (and): $\land$ (binary connective) ... p implies q.
確定! 回上一頁