2022.07.27
https://gyazo.com/408b02a5f94de7b267873a7b742e425d
やった
https://gyazo.com/7547be184afcf98f6f9cd7d691e80ea0
$ \vDash (P \lor (Q \land R)) \to ((P \lor Q) \land (P \lor R))
まあ一応命題論理は決定可能（決定可能だっけ？言葉があやふやすぎる）なのでこういったことが… $ A, B \vDash C系は演繹定理で$ \vDash A \to (B \to C)として良いのでこの方針でいきましょう しった
2階の場合は量化される命題変数が論理式の全体を動くので、例えば∀pが付いた論理式は多相型に相当する感じだと思います
これ納得したのに何を納得したのか忘れたので今度調べる
読んだ
思った
ビッグマックが売り切れているマクドナルドの存在意義 ないらしい
画質悪すぎる
https://soundcloud2image.vercel.app/image?url=https://soundcloud.com/togexys/veecohpvrk0k#.png https://soundcloud.com/togexys/veecohpvrk0k
2022年にやることじゃないだろこれ
https://nicothumb2img.vercel.app/image/sm25138793#.png https://nico.ms/sm25138793
https://nicothumb2img.vercel.app/image/sm23192359#.png https://nico.ms/sm23192359
いいね
かっこいい
https://tweet-card.now.sh/1546883888374755328.jpg?lang=ja https://twitter.com/Jin00821145/status/1546883888374755328