13/10/15 22:27:30.62 .net
つまり
Ａ＝Ｂと￢Ａ＝Ｂが両方証明されたらおかしいだろう
とはいえ、これは古典論理の場合のみ
パラコンスタント論理では両方証明できるのに矛盾しているとはいわない
他のみエリアツィヒンの補題とかカイラル三重奏みたいな現代論理の応用では
非分岐世界を連脱結合することで全図式を得ようとしているから
矛盾そのものは不要になってくる・・・ケラスの流体構成とかもそうだしね
13/10/15 22:27:30.62 .net
つまり
Ａ＝Ｂと￢Ａ＝Ｂが両方証明されたらおかしいだろう
とはいえ、これは古典論理の場合のみ
パラコンスタント論理では両方証明できるのに矛盾しているとはいわない
他のみエリアツィヒンの補題とかカイラル三重奏みたいな現代論理の応用では
非分岐世界を連脱結合することで全図式を得ようとしているから
矛盾そのものは不要になってくる・・・ケラスの流体構成とかもそうだしね