假言三段论 名词解释: (1)指命题演算中的一条定理名词解释:(q→r)→((p→q)→(p→r))。意即如果q→r,那么,又如果p→q,就可以得到p→r。亦即名词解释:如果q→r ...
確定! 回上一頁