ア:( A = B かつ B = C )
又は ( A ≠ B かつ B ≠ C )について
( A = B かつ B = C ) の時
eq ( A , B )=1
eq ( B , C )=1
eq ( eq ( A , B ),eq ( B , C ) )=eq(1,
1)=1
( A ≠ B かつ B ≠ C ) の時
eq ( A , B )=0
eq ( B , C )=0
eq ( eq ( A , B ),eq ( B , C ) )=eq(0,
0)=1
よって成立である。
イ:( A = B かつ B = C ) 又は (
A ≠ B 又は B ≠ C )について
( A = B かつ B = C ) の時
eq ( A , B )=1
eq ( B , C )=1
eq ( eq ( A , B ),eq ( B , C ) )=eq(1,
1)=1
( A ≠ B 又は B ≠ C ) とは A
≠ B 又は B = C の時がある
eq ( A , B )=0
eq ( B , C )=1
eq ( eq ( A , B ),eq ( B , C ) )=eq(0,
1)=0
よって不成立である。
ウ:( A = B かつ B = C ) 又は A
= C について
( A = B かつ B = C ) の時
eq ( A , B )=1
eq ( B , C )=1
eq ( eq ( A , B ),eq ( B , C ) )=eq(1,
1)=1
A = C の時
eq ( A , B )=0or1(0か1のどちらか)
eq ( B , C )=1or1(0か1のどちらか)
eq ( eq ( A , B ),eq ( B , C ) )は0か1
のどちらかより必ずしも1とは限らない
よって不成立である。
エ:( A = B 又は B = C ) 又は A
= C について
( A = B 又は B = C ) の時
A = B で B ≠ C の場合
eq ( A , B )=1
eq ( B , C )=0
eq ( eq ( A , B ),eq ( B , C ) )=eq(1,
0)=0
A = C の時
eq ( A , B )=0or1(0か1のどちらか)
eq ( B , C )=1or1(0か1のどちらか)
eq ( eq ( A , B ),eq ( B , C ) )は0か1
のどちらかより必ずしも1とは限らない
よって不成立である。
|