逻辑符号 的... 命题逻辑. 穿过其他算符的斜线同于在它前面. 放置的"¬"。 x ≠ y ⇔ ¬(x = y). ,命題邏輯. ¬ ˜. 邏輯非, 命題¬A 為真若且唯若A 為假。 將一條斜線穿過一個 ...
確定! 回上一頁