스레딕

수학에서 or(또는)은 둘 중 하나가 맞거나, 둘 다 맞거나 다 포함해. 둘 중 적어도 하나가 맞으면 되는 거야. 평소에 얘기할 때 쓰는 '또는'이랑은 의미가 달라. P or Q <=> (i) P이다. Q는 아니다. (ii) P는 아니다. Q이다. (iii) P이고, Q이다. 이렇게~ (i), (ii), (iii) 중 어느 거여도 되는 거야. 고등수학에서 집합 배웠어? and(그리고)는 교집합, or(또는)은 합집합. 안 배웠으면 함 검색해보고 그림으로 이해해봐도 될 듯 ab=/0 <=> a=/0 and b=/0인데 말로 하면 'a도 0이 아니고, b도 0이 아니다' 그러면 'a와 b 중 적어도 하나가 0이 아니다'도 맞는 말이 되잖아? 이걸 다시 쓰면 a=/0 or b=/0 그러니까 and가 성립할 때는 or도 성립하게 돼~

4는 6의 약수가 아니고 2의 배수도 아니다 이걸 편의상 'A는 X가 아니다 and A는 Y가 아니다'로 쓰면 부정하면 'A는 X이다 or A는 Y이다'가 되는데, 어떤 문장을 부정하면 and가 or이 돼 말로 풀어보면 'A가 X이다' 또는 'A가 Y이다' 둘 중 하나만 성립해도 'A는 X가 아니다 and A는 Y가 아니다'는 거짓이 되잖아? 이걸 거짓으로 만들기 때문에 '부정한다'라고 표현하는데, 둘 중 적어도 하나가 성립하면 위 문장을 부정하게 되니까 or(또는)이 되는 거야~