>>163
Γ＝｛P,¬P｝とするとΓは充足不可能ですが¬φがトートロジーとなるφ∈Γはとれないのでこの証明は間違ってませんか？
分からない問題はここに書いてね436
■ このスレッドは過去ログ倉庫に格納されています
373１３２人目の素数さん
2017/11/08(水) 19:22:43.10ID:Ts1/tdBu■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 「AIをすぐ使いこなす人」に共通する特徴・ベスト1 [Gecko★]
- 少年少女がチュニジア戦を観戦できない!? DAZNサッカー実況アナが警鐘「4年に一度…夢と感動と勇気を与えてくれる機会、奪わないで」 [冬月記者★]
- 鶏肉価格が最高値更新 日本人のお弁当のおかずから鶏肉が消える [バイト歴50年★]
- かつて「死の病」と呼ばれ…20年前HIVに感染した男性の今 1日2粒で“普通の生活”できるのに消えない偏見 [煮卵★]
- 【僕女】「ボク」と自称する若い女性が急増 あのちゃんだけじゃない「私」を嫌がる令和女子の本音 [Ailuropoda melanoleuca★]
- 【パスキー】ネット証券取引には必須に 設定難しく浸透に課題 [蚤の市★]
- 【MLB】ドジャース vs オリオールズ ★5
- 【地上波/DAZNほか】 FIFAワールドカップ2026 総合スレ★122【メキシコ/カナダ/アメリカ】
- 巨専】
- ハム専
- はません Part.2
- 〓たかせん〓
- 日本人「このままじゃ国債の利払いが出来ない」高市早苗「違うわ。日本国にはまだ国鉄の多額の債務が残っているし軍人恩給も支払ってるわ [784319933]
- 【訃報】個人情報の改正案、事業者が本人の同意なく第三者に提供できる特例、病歴や犯罪歴、思想信条も、国会で審議中、議員で賛否 [943688309]
- 高市が首脳陣の横で口パクパクさせて歓談してた風に見せた広報ポスト、コミュニティノートがついたり消えたりする🫪 [359965264]
- 【悲報】日本人「体罰は善なんよ……ﾆﾁｬｱｱ」👈戸塚(知恵遅れバカ)を擁護してる奴がSNSに増えてる模様 [714769305]
- 若者「家が狭く子どもが増やせない」サナ「では国推奨の住戸面積、4人家族95平米推奨を40平米に変更」閣議決定 [881878332]
- 🏡🌊☀👊😅👊🍉🌻🍦