分からない問題はここに書いてね426 [無断転載禁止]©2ch.net

[過去ﾛｸﾞ] 分からない問題はここに書いてね426 [無断転載禁止]©2ch.net (1002ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) ﾚｽ栞あぼーん

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

675(1): 2017/05/21(日)23:01 ID:NEJ4Q+Gi(1/3) AAS
そういう偉そうなこと言ってますけど、具体的にはどのように使われているのかは知らないでしょうし、実際に作ることもできないんですよね、ここの人達は(笑)

677(2): 2017/05/21(日)23:07 ID:NEJ4Q+Gi(2/3) AAS
>>676
ある公理系τの任意のモデルに対してある論理式φが真であれば、τからφがLKにおいて証明可能であることを示せ、という問題がわかりません

679: 2017/05/21(日)23:11 ID:NEJ4Q+Gi(3/3) AAS
何故だか知りませんが、回答がついたことないんですよね
誰もわからないんでしょうか？