(x)(Hx → Rx八Ax)中文:若且唯若,x是人類,則x是理性的(R)且是動物(A)。第四節量化推論規則與述詞演算第六章所討論的三段論之推論,在近代符號邏輯上,即相當於量化邏輯之 ...
確定! 回上一頁