2019年5月20日のコメントペーパーより。レジュメは様相命題論理。 コメント:あるモデルのなかに、命題変項への真理値の割り当てがすべて等しくなるような世界が2つあることは可能でしょうか。つまり、すべての命題変項 に対して となるような があってもよ…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。