それはただの否定の導入ですよね
背理法は¬Aから矛盾を導いてAを結論することを言います
数理論理学（数学基礎論） その13
■ このスレッドは過去ログ倉庫に格納されています
562１３２人目の素数さん
2019/01/05(土) 20:46:53.91ID:nIxiUORX■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 交際男性の乳首を切り 「やらないなら出て行け」左手薬指を切断…24歳女に保護観察付き有罪判決・男性は執行猶予求める (大阪地裁) [少考さん★]
- ランドセルにくぎ刺される「国に帰れ」など言われ、転校を余儀なくされた海外からの転校生 仙台市教育委員会が「いじめ重大事態」認定★3 [煮卵★]
- 【サッカー】W杯の新ルールで一発レッドで退場！ パラグアイの10番アルミロン、口元を手で隠す行為 [冬月記者★]
- 「いいの？前科ついちゃうよ」万引きした女子大学生を脅す 元コンビニ店長の男（54）逮捕 ★2 [煮卵★]
- 【MLB】大谷翔平、第2子誕生へ 育休でチームを離脱 球団が発表…週末には復帰予定 長女誕生から1年 ★2 [jinjin★]
- 「自衛隊発言」立民議員の母体は「日教組」…「自衛隊の国際貢献は再軍備に繋がる」「健康診断は徴兵制の前触れ」偏向教育の実態 [煮卵★]
- 【地上波/DAZNほか】 FIFAワールドカップ2026 総合スレ★109【メキシコ/カナダ/アメリカ】
- 巨専】 ★2
- ハム専 ★2
- 【地上波/DAZNほか】 FIFAワールドカップ2026 総合スレ★110【メキシコ/カナダ/アメリカ】
- 【MLB】ドジャース vs オリオールズ ★3
- 【MLB】ドジャース vs オリオールズ ★4
- ⛵👒👊☠👊🏝🏡
- 【悲報】トランプ、中国再訪へへ [834922174]
- 愛国者「日本国民って優秀なのになんで国会議員だけ無能なの？」→20万いいね [834922174]
- 中卒てなんで雇われないの？
- 【悲報】🍕ビザ一斉値上げ、７月から
- お前らがキャンディーズのファンを辞めた理由