2024.03.19
https://gyazo.com/584a0d81a3d2f1cca80c09db50719db8
知った
https://nicothumb2img.vercel.app/image/nm13359285#.png https://nico.ms/nm13359285
思った
$ w_1 \nVdash^{\mathcal{M}_1} \varphi \implies w_1 \nVdash^\mathcal{M} \varphi
この部分皆証明なしで使ってるんだけど,全然明らかでは無くないか?(というか正しいのか?)
おれがモデルの作り方間違ってる?
これさえ終われば行ける,逆に言えばこれが言えて無くて詰まってます♪
思った
メンタリスト怖すぎ