「代数的構造」の版間の差分
削除された内容 追加された内容
編集の要約なし |
|||
90行目:
また、推論規則も局所的算法と解される。たとえば三段論法は、二つの論理式 ''A'' と ''A'' ⇒ ''B'' とから第三の論理式 ''B'' を導き出す推論規則であるが、これは、第二の論理式が ''A'' ⇒ ''B'' という特別な形のときだけ実行可能な局所算法と解される。
== 脚注
=== 注釈 ===
<references group="注" />
=== 出典 ===
{{Reflist}}
== 関連項目 ==
|