分からない問題はここ ..
477:１３２人目の素数さん
20/01/19 23:36:01.44 J3iOZliB.net
φ_1, φ_2, ..., φ_nをHilber流の古典論理の証明とするとき、
この証明を正則な証明に直すにはどうしたら良いでしょうか。
正則な証明：証明のどの固有変数も一度の汎化にしか使われず、
またどの固有変数も汎化に使われた後の列の式には自由に現れないないもの。
次ページ続きを表示1を表示最新レス表示スレッドの検索類似スレ一覧話題のニュースおまかせリスト▼オプションを表示暇つぶし2ch
1548日前に更新/333 KB
担当:undef