>>547
ある無矛盾な公理系τの任意のモデルに対してある論理式φが真であれば、τからφがLKにおいて証明可能であることを示せ、という問題がわかりません
分からない問題はここに書いてね432 [無断転載禁止]©2ch.net
■ このスレッドは過去ログ倉庫に格納されています
549１３２人目の素数さん
2017/08/28(月) 14:53:23.92ID:mIQQTsRC■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 「いいの？前科ついちゃうよ」万引きした女子大学生から10万円を脅し取ったか 元コンビニ店長の男（53）逮捕 [煮卵★]
- 大谷翔平、育休でチームを離脱 球団が発表 第2子誕生へ…週末には復帰予定 長女誕生から1年 [(´?ω?｀)知らんがな★]
- ランドセルにくぎ刺される「国に帰れ」など言われ、転校を余儀なくされた海外からの転校生 仙台市教育委員会が「いじめ重大事態」と認定 [煮卵★]
- 【埼玉県警】国道で持ち運び可能なオービス盗まれる 速度取り締まり中 [nita★]
- 【サッカー】日本代表 追加招集の町野修斗が体調不良 チュニジア戦の前日練習に参加せず、ホテルで休養 [冬月記者★]
- 面識ない女子高生に覚醒剤注射し性的暴行、被告に懲役１５年判決…福岡地裁小倉支部「身勝手極まりない犯行」 [少考さん★]
- 【地上波/DAZNほか】 FIFAワールドカップ2026 総合スレ★105【メキシコ/カナダ/アメリカ】
- 【MLB】ドジャース vs オリオールズ
- 巨専】
- はません ★3
- とらせん 雨
- 競輪実況★1784
- 【悲報】大阪万博の日本製EVバスさん、不具合多発で『中国製EVバスが悪い』と歴史修正されて終わる [153736977]
- 【高市悲報】ヒゲの佐藤「東北大学に行きたかったが貧乏なので防衛大に行きました😤」過去の記事が発掘される [359965264]
- 円終了。外資が外貨を担保に円を借りて投資すると円安でノーレバでレバ3倍。更にファンドのレバで安全に30倍とかになる。だから円安高市 [784319933]
- トリッカルって生活保護者を馬鹿にしてたってマジ？
- 🏡ガイジ製造工場
- 愛国保守「中国と戦うどォ😭」👈核600発に230万の軍隊持つレアアース,薬,肥料の輸出大国と日本が対立するメリット、不明… [941632843]