弱推演法則(weak inference)一種特殊的可容許推演法則.假定AFB是一個可容許推演法則(參見“可容許推演法則”).如果A的一個演繹的階大於或等於B的一個演繹的階,則稱AFB是一個弱推演法則.
弱推演法則(weak inference)一種特殊的可容許推演法則.假定AFB是一個可容許推演法則(參見“可容許推演法則”).如果A的一個演繹的階大於或等於B的一個演繹的階,...
歸納推演法則(inductive inference)一種推演法則.下述推演法則稱為歸納推演法則: 其中a不在Fco>,r,o中出現,s是任意項,a稱為這個推演法則的本徵變元.式(1)這種...
可容許推演法則(permissible inference)由可推斷性導出的法則.假設公式A‑AZ,...}A},B適合:如果A},AZ,...,A。皆為形式系統乏的可推斷公式,那么B也是乏中...