Re: [請益] 請問2個論證的問題

[b9108018 (論文發表後一點都不喜悅)]

CP規則，就是條件證法。以邏輯式之前件為假設前提，
若能推導出後件，則此邏輯式為真。

第二題的邏輯式不是恆真句。

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 210.59.123.82
→ b9108018:不是恆真句者，可使用真值表或真值樹檢驗之。