題組內容

一、判定下列複合式命題(compound proposition)是否恆真(tautology) ,並說明原因。

(二)( ¬q⋁(p→q)) →¬p(6 分)