m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ 説明 メモ 用語法 STEM ⊃ implies |- provable（probableじゃない、注意） ⇒（シーケント） entailsかな |= valid, satisfies A |- B に対して、B is provable from A のようになる。|= A も A is valid。A |- B を A proves B と読むとおかしいのかな？ proveする主語はAじゃなくて証明者だから変かもしれない。意味論的に、「Aが成立するモデルではBも成立する」を A |⇒ B と僕は書くが、|⇒ は「意味論的に帰結する」とか言うようだ、semantic consequence。 - と シーケントの ⇒ は同… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20160222%2F1456099991" title="「ならば」記号の読み方 - (保存用) 檜山正幸のキマイラ飼育記 メモ編" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2016-02-22 09:13:11 rich https://m-hiyama-memo.hatenablog.jp/entry/20160222/1456099991 1.0 100%