>>4
直観主義論理では、P∨¬Pは使えない
>>10
直観主義論理では二重否定の除去はできない
ニュース
- 日本のGDP、世界6位転落へ…薬物もやらない勤勉な日本人が貧しくなる屈辱は“完全な政策ミス”か？ ★2 [ぐれ★]
- 佳子さまの前を横切る女性、一瞬の隙だったが… “警備の甘さ”に「SP何やってんの？」波紋広がる [少考さん★]
- 【ショウリンジ】小学生から１８歳まで２５人を一斉摘発 警察への迷惑行為「少林寺レーシング」とは… [ぐれ★]
- 社民・福島氏、高市首相の「3、4時間余分に…」発言に「特殊メークじゃないんだから、なんでこんなに時間がかかるんだろう」 [少考さん★]
- 米特使「プーチン氏は人道的」…批判噴出 [少考さｂ咯
- 【ＰＨＰ脆弱性発見】各国でウェブサイト停止相次ぐ＝政府機関、ウィキペディアも―「早急な対応」求める [ぐれ★]