2024.04.07
https://www.youtube.com/watch?v=WT29uE2BqfU
メモ
思った
観た
最近観たアニメを列挙しておく.
萌えキャラクターで動きがピクサーみたいにハキハキ動いてて良かった.
のんびりとしていて良かった
…
本当にかっこいいレースアニメが観たいと思ったので
キチガイ枠だと思っていたけど案外常識的な範囲だった
絶対にヒロインの作画を崩さないぞという意思を感じる
表情豊かでいいね
おれもフォロワー10万人目指すぞー
以上.
メモ
$ \vdash \lnot (\bigwedge \Gamma \land \Diamond^n \Delta)
1. $ \vdash \bigwedge (\Gamma \cup \Diamond^n\Delta) \to (\bigwedge \Gamma \land \bigwedge\Diamond^n\Delta)
2. $ \vdash \lnot (\bigwedge \Gamma \land \bigwedge\Diamond^n\Delta) \to \lnot\bigwedge (\Gamma \cup \Diamond^n\Delta)
1. $ \vdash (\bigwedge \Gamma \land \bigwedge\Delta) \implies \vdash \bigwedge (\Gamma \cup \Delta)
2. $ \vdash (\bigwedge \Gamma \land \bigwedge\Delta) \to \bigwedge (\Gamma \cup \Delta)
3. $ \vdash \lnot( \bigwedge (\Gamma \cup \Delta)) \to \lnot(\bigwedge \Gamma \land \bigwedge\Delta)
4. $ \vdash \lnot( \bigwedge (\Gamma \cup \Delta))は成り立つとする.
5. $ \vdash \lnot(\bigwedge \Gamma \land \bigwedge\Delta)
6. $ \vdash \lnot\bigwedge \Gamma \lor \lnot \bigwedge\Delta
7. $ \vdash \Diamond^n \bigwedge \Delta \to \bigwedge\Diamond^n \Deltaは成り立つとする.
8. $ \vdash \lnot \bigwedge\Diamond^n \Delta \to \lnot \Diamond^n \bigwedge \Delta
9. $ \vdash \lnot\bigwedge \Gamma \lor \lnot \bigwedge\Delta