13/08/18 NY:AN:NY.AN 73xMykX8
>>404
>>398
証明可能であることは推論可能であることの十分条件ではない
>>388
証明しても意味無いから
なぜなら矛盾により肯定の証明と否定の証明が同時に行えるので
真偽を決定出来ないから
真偽決定不可能ならば推論可能とは言えない
マジで理解できないのなＷＷＷＷＷＷＷＷＷ
お前単語に脊髄反射する人工無能だわ
未だに理解出来ないのか？ん？
なんなら真偽決定不能なのに推論可能と言えるケースの存在を証明してみろ
13/08/18 NY:AN:NY.AN 73xMykX8
>>404
>>398
証明可能であることは推論可能であることの十分条件ではない
>>388
証明しても意味無いから
なぜなら矛盾により肯定の証明と否定の証明が同時に行えるので
真偽を決定出来ないから
真偽決定不可能ならば推論可能とは言えない
マジで理解できないのなＷＷＷＷＷＷＷＷＷ
お前単語に脊髄反射する人工無能だわ
未だに理解出来ないのか？ん？
なんなら真偽決定不能なのに推論可能と言えるケースの存在を証明してみろ