「普遍汎化」の版間の差分
削除された内容 追加された内容
タグ: 差し戻し済み |
159.255.188.134 (会話) による ID:89626828 の版を取り消し、ブロックされたプロクシによる横断的な編集であるため。 タグ: 取り消し 差し戻し済み |
||
67行目:
|}
この証明では、普遍汎化がステップ8で使用されている。移行された式に自由変項がないため、ステップ10と11では演繹定理が適用できた。
== 脚注 ==▼
{{reflist}}▼
== 関連項目 ==
* [[一階述語論理]]
* [[早まった一般化]]
* [[普遍例化]]
▲== 脚注 ==
▲{{reflist}}
{{DEFAULTSORT:ふへんはんか}}
| |||