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

|(AＶB)∧(A∨C)
|(AＶB)
|  |A
      |A∨(B∧C)
   |B
      |A∨C
         |A
           |A∨(B∧C)
         |C
           |B∧C
           |A∨(B∧C)
      |A∨(B∧C)
  |A∨(B∧C)
|A∨(B∧C)

見通し悪いんだ、これで勘弁しろよ

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