基本逻辑联接词:否、合取、析取、蕴含和等价,对应符号为: ... (3)若p 和q 是合式公式,则p q ... 则q p. ⇔ ;. (3)传递性:若p q. ⇔ 和q r. ⇔ ,则p.
確定! 回上一頁