***何切る?統一スレッド 6***
■ このスレッドは過去ログ倉庫に格納されています
>>110
ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ、という問題がわかりません >>110
あとあの問題とモンティホールは違う問題ですからね
わからないんですか? わからないんですね
生活保護もらいながらする麻雀たのしいですか? >>110
ペアノ算術を含む任意の無矛盾な公理系に対し、あるモデルM,Nおよび論理式φが存在して、M|=φかつN|≠φとできることを示せ、という問題がわかりません >>110
三段論法を用いる任意の数学の証明は、三段論法を用いない別証明を持つことを示せ、という問題がわかりません >>110
数理論理学も知らないんですか?
1から教えるのは面倒ですね なにこれいきなりwwwwwwwwww
そんなに激怒したんかwwwwwwwwwwwwwwwwwwwwww さすがにID透明アボーンしたわ
スクロールめんどう ID変えてもあとでまとめるだけやでー
つーか反論できんことを強調してもしゃーないやろにな >>189
モンティホールとは違う問題です
で?生活保護でする麻雀は楽しいですか? ■ このスレッドは過去ログ倉庫に格納されています