21/03/07 17:21:55.78 EcMJkuCa.net
>>815
読んでないでしょ？ 読んだうえで、
（γJ＝†β⊂†I）∧（γJ=‡α⊂‡I） （AOL1） と
（γI＝β⊂I）∧（γI=α⊂I） （AOL4） の違いがあるなら、
（AOL1）が成り立つのに（AOL4）が成り立たない場合を具体的にお示しくださいね
21/03/07 17:21:55.78 EcMJkuCa.net
>>815
読んでないでしょ？ 読んだうえで、
（γJ＝†β⊂†I）∧（γJ=‡α⊂‡I） （AOL1） と
（γI＝β⊂I）∧（γI=α⊂I） （AOL4） の違いがあるなら、
（AOL1）が成り立つのに（AOL4）が成り立たない場合を具体的にお示しくださいね