21/03/06 10:33:39.48 yw/hH17g.net
>>735 修正
望月はLとMの違いに基づいて §2.4で
（γJ＝†β⊂†I）∧（γJ=‡α⊂‡I） （AOL1）
（γI＝β⊂I）∨（γI=α⊂I） （AOL2）
だが
（γI＝β⊂I）∧（γI=α⊂I） （AOL4）
ではないといってる
けど、ほんとにそうなの？
（AOL1）と（AOL4）って違うの？
理解した人 教えて！
21/03/06 10:33:39.48 yw/hH17g.net
>>735 修正
望月はLとMの違いに基づいて §2.4で
（γJ＝†β⊂†I）∧（γJ=‡α⊂‡I） （AOL1）
（γI＝β⊂I）∨（γI=α⊂I） （AOL2）
だが
（γI＝β⊂I）∧（γI=α⊂I） （AOL4）
ではないといってる
けど、ほんとにそうなの？
（AOL1）と（AOL4）って違うの？
理解した人 教えて！