m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 以下のエントリー群で断片的に述べていたことをまとめておきたい -- 「ならば」の論理的解釈とは何だろうか？ 含意＜がんい＞から伴意＜ばんい＞へ 伴意＜ばんい＞から含意＜がんい＞へ 論理（学）と仕様 ターンスタイルって知っている？ 帰結（consequence）の概念 記号法まず記号： |= ：充足（satisfies; validity, correctness） |- ：証明可能（proves/derives; provability, derivability） ⇒ ：内容的含意（implies; conditional implication） ⊃ ：含意（implies） → ：？ |… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20060930%2F1159604705" title="さまざまな「ならば」達 - 檜山正幸のキマイラ飼育記 (はてなBlog)" 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 2006-09-30 17:25:05 rich https://m-hiyama.hatenablog.com/entry/20060930/1159604705 1.0 100%