可衍生規則和可允許規則之間的區別？

Question

任何人都可以幫我解釋一下這個問題的例子嗎？

「有兩種方式引進新的參考規則：爲推導的規則和受理規則 是他們之間有什麼區別

感謝

Answer 1

的Admissibility and derivability wiki說： - 。？。

可推導的規則是其結論可以從其 房屋使用其他規則得出的結論。可推導的規則是可接受的 。爲了理解的差異，考慮到以下規則集 定義自然數

您可以檢查出wiki它說： -

每一個推導規則是容許的，但不是反之亦然一般。如果每個可接受的規則是可導出的，則邏輯在結構上是完整的，即{{vdash} = {\，| !!! \ sim}。[5]在具有良好行爲邏輯的連接（如超靈感或模態邏輯）下，規則A_ {1}，\ dots，A_ {n}/B相當於A_ {1} \ land \ dots \ land A_ {n}/B關於可接受性和可衍生性。它是 因此習慣只處理一元規則A/B。