將一條斜線穿過一個符號相當於將"¬" 放在該符號前面。 ¬(¬A) ⇔ A ... 蘊含, A ⊧ B 表示A蘊含B, 在A成立的每個模型中, B也成立. A ⊧ A ∨ ¬A. 蘊含;.
確定! 回上一頁