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