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

[過去ﾛｸﾞ] 分からない問題はここに書いてね426 [無断転載禁止]©2ch.net (1002ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

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

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

683: 2017/05/22(月)00:11 ID:81qiX1gZ(1/5) AAS
>>682
>>677
よろしくお願いします

693: 2017/05/22(月)00:34 ID:Q5rjUvjq(1) AAS
>>684
> 数学質問の需要にこたえてるならまだしも
> 単に知識自慢してるだけなのがこのスレの臭いところ
>
>
> 最悪
それが>>677