■anond:20220813153204

いやそういうことじゃなくて、「推論規則」というのはテクニカルタームだよ。https://wiis.info/math/logic/propositional-logic/inference-rule/

今の場合は命題論理じゃなくて述語論理になるかな？この辺詳しくなくてよくわからないんだけど。

Permalink | 記事への反応(0) | 15:39

ツイートシェア