引き続き，推論規則である．最初の例は，以前に出てきた． 原子式の記号が，ギリシャ文字に変わっているが同じである．Φが削除されているので，ここでは単に「e.」規則としている．日本語方式だと，「去-→」である． ちなみに，「 […]
-
Pages
-
Categories
-
Archives
引き続き，推論規則である．最初の例は，以前に出てきた． 原子式の記号が，ギリシャ文字に変わっているが同じである．Φが削除されているので，ここでは単に「e.」規則としている．日本語方式だと，「去-→」である． ちなみに，「 […]