이렇게 수량 비교 조합기에 입력 신호 안 넣은 상태에서
"모두" 와일드카드를 사용해서 조건을 걸면 조건에 불문하고 항상 참인 것으로 판정되는데
(조건 바꿔서 해봤는데 조건과 관계 없이 항상 참으로 나옴)
"아무거나" 와일드카드를 사용해서 조건을 걸면
이렇게 출력 신호로 아무것도 안 나옴
근데 뭔가 상식적으로 생각하면 "아무거나" 조건에서 참이고 "모두" 조건에서 거짓일 순 있어도 "모두" 조건에서 참인데 "아무거나" 조건에서 거짓일 수는 없는 것 같은데 혹시 이거 왜 이렇게 설정돼있는지 아는 팩붕이 있음?
https://en.m.wikipedia.org/wiki/Universal_quantification
all이 universal quantification(=모든 ~에 대하여) 라는 건 알겠는데 공집합하고 무슨 관계인지 모르겠어
모두 -> 신호가 존재한다면 존재하는 모든 신호에 대하여 참 == 조건을 불만족하는 신호가 없음 -> 신호가 아예 없다면 참, 아무거나 -> 조건을 만족하는 신호가 적어도 하나가 있음 -> 신호가 아예 없으면 조건을 만족하는 신호가 0개이므로 거짓
모두 만족해야할땐 입력이없으면 만족하지 못한 조건이 없으니 참이 되는거고 아무거나 할때는 최소 하나이상이 만족해야하니까 거짓을 출력하는것 같은데
모두 : 만족하지못한 조건이존재하는지 확인 > 입력이 없으면 만족하지 못한조건도 없어짐 아무거나 : 하나라도 만족한게 있는지 확인 > 입력이없으면 만족한 조건도 없음
아무거나 = 일단 하나는 - dc App
음 먼가 알듯하면서 모르겠네,,, all은 "만족하지 못한 조건이 있는가" 를 따지고 any는 "만족한 조건이 있는가" 를 따지는거 차인가봄
ㅇㅇ 조금 다르게 식으로 표현하자면 all은 true & 조건1 & 조건2 & ... & 조건N인데 조건이 하나도 없으면 true만 남는거고, any는 false | 조건1 | 조건2 | ... | 조건N인데 조건이 하나도 없으면 false만 남는식 괜히 더 헷갈리려나 ㅋㅋ - dc App
오 이렇게 설명하니까 확실하네