>>941
α、βはP18の定義通りα={0},β={1}と考えています
{0}≠{1}なので、γI=β={1}∧γI=α={0}は当然成り立たず、AOL4は成立するということになると思います
AOL4だけを見ると、同値関係もγIの定義もあまり関係無くほとんど自明に成立しますね