2021/11/18
yuki_minoh.icon
改めて見てみると、僕のScrapbox筆記量は結構多いなと思う
正直無限に書いていられる
他人のコメントを妨害しないように気をつけたい
maichan.icon
カブ通勤で足が冷えるので、太ももにカイロを貼って出勤しました カイロが鉄板のように冷たくなって地獄でした
オチで草takker.icon
こういう時は自転車が便利かもです。脚がエンジンになって暖まるので
もうちょっと近かったら、運動も兼ねて自転車通勤したかったところですmaichan.icon
検索したら色々出てきました、良さそうなのを見つけたら試してみたいですmaichan.icon
増井俊之.icon
3年ぐらい放置してたのでかなり狂ってた...
takker.icon
問
(二重否定除去|排中律)なしに$ \lnot\lnot P\land\lnot\lnot Q\implies\lnot\lnot(P\land Q)を証明できること、もしくは証明できないことを証明せよ 興味のある人は解いてみて下さい。takker.iconは挫折しました……
無理っぽいyuki_minoh.icon
否定¬に対してできることが少なすぎる笑
背理法も使えないってことですよねこれ
排中律と狭義の背理法は同値なので使えません
否定を導く方の背理法は排中律なしで成立するので使えます
否定の導入できるんですねyuki_minoh.icon
Pを仮定しても¬¬Pにたどりつけない
そもそも否定を導入できない説
逆ができないだけ
確かに導入はできるのかyuki_minoh.icon
リンク読んで納得しました
なるほど矛盾の概念自体は存在するのか
¬¬Pを仮定してもPにたどり着けない
否定を取り除く手段がない
よって¬¬(P∧Q)が完全にブラックボックス
ちなみに逆ならできましたtakker.icon
やり方考えてみますyuki_minoh.icon
teyoda7.icon
（色々差し引いても私は1人の方が幸せなのかもしれないと思った…）
これは1人といい感じにコミュニケーションが取れなかっただけで凹んでるだけで、拡大解釈です
最近片付けがストレス発散のひとつになりかけてて嬉しい
前はストレスを感じてる時はただ横になることしかできなかった
maichan.iconも同じような感じかもしれません
うまく片付けができると気が楽になるというのもあります