1983-84上學期
邏輯試題
1.使用真值表證明下列諸事:
(a)(p
q),(rs),(∼qv∼s)共同涵蘊(∼pv∼r)
(b)∼p可以界定為(p/p),也可以界定為(p↓p)
(c) 離斷律是個真函恆真性保持律
2.應用Henkin 預備的定理,證明真函邏輯系統的完全性。
3.舉例說明演繹定理的用途。
4.證明(∼p(pq))。
5.證明├A若且唯若
A。
第一題必答,其他再選答兩題。