커뮤니티

A -B=A - (A n B)
       =A - (A n C)   <---  ( A n B = A n C )
       =A - C
따라서," q-->r 이다."는 참이다.
A={1,2,3,4,5,6} ,B={2,3,5},C={2,3,5}
여기서,조건q의 진리집합이 AnB=AnC={2,3,5}를 뜻하는 것이 아니라
AnB=AnC를만족하는 집합A,B,C 사이의 관계(상태)를 의미합니다.
 조건r의 진리집합도 A -B={1,4,6}이 아닙니다.