「公理系」は「言語」と「公理」と「推論規則」からできています。その中の「公理」が世界を特徴付けて区別しています。(小島寛之『証明と論理に強くなる』技術評論社) 可能世界。命題記号、真理値(真と偽、TとF、1と0) 「ならば」で結んだ論理式は、「…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。