大体P→Qを「議論世界」におけるP⊂Qが成立することと定義するってことはP-Qが空集合だということなんだからP∧¬Qが偽と同値なんだよな
数理論理学（数学基礎論） その12
■ このスレッドは過去ログ倉庫に格納されています
大体P→Qを「議論世界」におけるP⊂Qが成立することと定義するってことはP-Qが空集合だということなんだからP∧¬Qが偽と同値なんだよな
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【速報】イスラエルが正式にイランへの攻撃を開始… ★3 [BFU★]
- 日経平均株価1200円安 イラン領内の爆発報道で急落… [BFU★]
- 【滋賀】いなり寿司を万引きしたとして誤認逮捕された女性が苦しい胸の内を明かす [おっさん友の会★]
- 早稲田大まで行ったのに 34歳で月収12万円の後悔 貯金もゼロで「自分は何をやってたんだ」 [PARADISE★]
- 絵本『野球しようぜ！大谷翔平ものがたり』から水原一平容疑者の絵が消された！初版はすでに完売、違法賭博で逮捕の影響か [Ailuropoda melanoleuca★]
- 水原一平容疑者が交わしたメールは9700ページ！ 賭博関連の記述無く「大谷疑惑」晴れる 米紙報道 [おっさん友の会★]
- 【フジテレビ】2024 FORMULA 1【NEXT】Lap268
- 【DAZN】フォーミュラ 【F1 F2 F3 P】lap1429
- 【WOWOW】UEFAチャンピオンズリーグ・ヨーロッパリーグ 決勝トーナメント★22
- 巨専】ワッチョイ
- マエケン
- 【D専】
- (´・ω・`)昼休みが終わるよ
- 狂犬イスラエル、イラン・イラク・シリアを同時攻撃 [668970678]
- いなり寿司万引き誤認逮捕の被害女性、涙の訴え これもうインチキ通報したスーパーを名誉毀損で訴えるべきだろ… [455679766]
- 【悲報】日経平均-1100 [126042664]
- 米英EU、イランに制裁で一致へ。「キツイお仕置きが必要」 [271912485]
- 心斎橋いる