p : x = 1 or x = 2 q : x = a or x = b 일때 해집합이 각각 {1, 2}, {a, b} 이잖아 그러면 p => q 라는것의 의미는 1. {1, 2} = {a, b} 2. {1, 2} 의 원소중 {a, b} 의 원소인 것이 존재한다. 뭐냐 - dc official App
{1,2}가 {a, b}의 부분집합이다. 라는뜻임 p=>q이면 p의 해집합의 원소 중 아무거나 골라도 q의 해집합에 있어야 함
그럼 1번이네? - dc App
1 2 둘다 아니고 {1, 2} subset {a, b} 임 - dc App
부분집합은 맞는데 크기가 같으니깐 내가 제시한 1번과 동치 아니노? - dc App