> > 記号論理学的には「神＝我」でいいんじゃないのけ？
> ((A∨B)∧(A∨C))→(A∨(B∧C))
> 証明お願いします


参考：2001/06/24(日)00時43分16秒