Incognito0 https://blog.hatena.ne.jp/Incognito0/ Asinus's blog https://incognito0.hatenablog.com/ 数理論理学 仮言命題 日常言語での接続詞の用法や真理値表では通常の選言(両立的選言)の他に両方の選言肢の両方が真である場合に全体が偽になるという排他的選言が紹介されることがある。 形式的証明体系であるシーケント計算や自然演繹で現れる選言の規則は両立的選言である。 それでは排他的選言はどのような推論規則になるのだろうか？ 排他的選言は両立的選言の場合とは異なり大多数の人々が認めるような推論規則を持たないが、いくつかの推論規則を構成する方法がある。これらの方法は排他的選言に限らず真理値が知られていれば用いることができる。私見での大まかなメリットとデメリットも述べる。 1. 真理値で同値な論理式を分解して推論規則を得る。… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fincognito0.hatenablog.com%2Fentry%2F2020%2F10%2F12%2F181417" title="排他的選言の推論規則 - Asinus&#39;s blog" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://chart.apis.google.com/chart?cht=tx&chl=%20A%5CLeftrightarrow%20B Hatena Blog https://hatena.blog 2020-10-12 18:14:17 rich https://incognito0.hatenablog.com/entry/2020/10/12/181417 1.0 100%