假言三段論法(HS) p→q q→r. ∴p→r. 11.結合法(Assoc). (p • (q • r)) ≡ ((p • q) • r). (p ∨ (q ∨ r)) ≡ ((p ∨ q) ∨ r). 4.選言三段論法(DS) p ∨ q p ∨ q.
確定！ 回上一頁
