推 recorriendo :P有量詞 可以視為 "xε我們班 => x及格" 03/02 08:19
→ recorriendo :所以逆敘述就是 "x及格 => xε我們班" 也就是"及格的 03/02 08:20
→ recorriendo :人在我們班 03/02 08:21
→ recorriendo :"不連續 => 不可微" 是 "可微 => 連續" 的位質換 不 03/02 08:23
→ recorriendo :是否定喔(等價於"可微 => 連續") 03/02 08:24
推 sssn1 :不是都用命題嗎0.0 原命題與逆否命題等價 與逆命題 03/02 09:05
→ sssn1 :或否命題則無關係 03/02 09:05
→ sssn1 :否命題: 不可微=>不連續 03/02 09:06
推 kusoayan :回一樓 應該改成 「for all x(x屬於我們班=>x及格)」 03/02 13:08
→ kusoayan :不然量詞就不見了 03/02 13:09