2026 소프트웨어 공학 이론서 재질문 드립니다.

[전현진]

p 646 쪽에, 

# 이 성립하려면, 부장 "또는(OR)" 사원 이어야 한다.

를

# -> 부장, # -> 사원

으로

나타낸 이 부분이 이해가 안됩니다. 

R 관계의 경우, 
A -> B 를 그린다면, A가 참일 때, B가 참이여아 한다는 의미로 이해하고 있습니다. 

그래서

A -> B 와 A -> C 2개를 그린다면,

A가 참일 때, B도 참 "그리고( AND )" C 도 참이다.

로

해석해야 맞는 것 같아서요. 

문제에서 보면,

# 으로 부터 부장, 사원에 각각 화살표가 연결 되어 있으니, 
# 이 성립하려면, 부장 "그리고(AND)" 사원 이어야 한다. 라고 해석이 되는 거 같은데, 
왜 

# 이 성립하려면, 부장 "또는(OR)" 사원 이어야 한다.

라고

해석하신지가 궁금합니다.

오히려 또는(OR) 로 해석하려면,

#으로 부터 부장, 사원에 각각 화살표가 연결되는게 아니라, 
#으로 부터 구성원 노드(부장과 사원을 V로 합친 노드) 에 화살표 하나를 연결하는게 맞는 것 같아서요.

#으로 부터 구성원 노드에 화살표 하나를 연결하면,

#이 성립하려면 구성원이어야 한다. 이고, 구성원은 부장 "또는" 사원이니까

의미상 이게 맞는 거 같다고 생각이 들어서 질문드립니다.

저 그래프가 여러 책들과 기출에 나오던데, 이해가 안됩니다. ㅠㅠ 

제가 어느 부분을 놓치고 있는지 모르겠습니다 ㅠㅠ 

[홍재연]

A -> B 와 A -> C 2개를 그린다면,
A가 참일 때, B도 참이고 ( AND ) C 도 참이다.

(1) A가 참일 때, B도 참이다. <-- 본인이 해석한 것
(2) A가 참이려면 반드시 B도 참이어야 한다.


(1)과 (2)는 반드시 같은 의미는 아닙니다.

A가 참이 되기 위한 필요조건은 반드시 B가 참이어야 한다.

[홍재연]

(1) A가 참일 때, B도 참이다. <-- 본인이 해석한 것


A가 참일 때, B는 거짓일 수도 있습니다.

[홍재연]

문제에서 보면,

# 으로 부터 부장, 사원에 각각 화살표가 연결 되어 있으니,
# 이 성립하려면, 부장 "그리고(AND)" 사원 이어야 한다. 라고 해석이 되는 거 같은데, <---- 본인 생각
왜
# 이 성립하려면, 부장 "또는(OR)" 사원 이어야 한다. 라고 해석하신지가 궁금합니다.


# --> 부장은 성립하고
# --> 사원은 성립하지 않을 수도 있습니다.

[홍재연]

다시 한번 더 생각하고
질문하세요.

[전현진]

우선 답변 감사합니다.
A가 참이기 위한 필요조건은 B가 참이어야 한다는 것은,
B가 참이 아니면, A가 참이 아니라는 의미이고, 이를 대우로 생각하면,
A가 참이면 B가 반드시 참임을 의미하는 것으로 생각되는데, 혹시
여기서 얘기하는 필요조건이 명제에서 얘기하는 필요조건이 아닌 다른 것인가요?

[전현진]

-> 화살표가 각각 그러져 있는데, 이게 어떻게 자연스럽게 OR로 해석되는지 궁금합니다.
혹시 -> 화살표가 각각 그려지면 항상 OR로 해석된다는 약속?이 있는 것인가요?

[홍재연]

화살표가 각각 그러져 있는데, 이게 어떻게 자연스럽게 OR로 해석되는지 궁금합니다.


각각 그러져 있는 것은 당연히 OR 아닌가요?
본인이 이렇게 질문하니, 제가 뭔가 잘못 생각하는가? 싶습니다.

저도 다시 한번 더 생각해 보겠습니다.

[홍재연]

A--->B--->C처럼 연속적이면 AND

A--->B
A--->C는 OR

[전현진]

아.
R 이나 M 처럼 원인/결과 노드들 간의 조건 관계는 한 노드에서 연속적이지 않게 여러 노드를 제약하면 OR로 해석한다는 말씀이신가요?

[홍재연]

그렇습니다.
여자이면서 남자일 수는 없습니다.

[전현진]

노드a가 지역이고,
노드b가 성별인데,
노드c가 나이라고 하면,

이문제에서 #이 교수, 학생을 각각 가리키는 것처럼
c가 a, b를 각각 가리킬때도 or로 해석을 해야하나요?

정답이 없는거에 정답을 찾는건지 참 어렵습니다ㅠㅠ

[전현진]

죄송합니다. 뭐를 준거점으로 잡아야할지 혼란스러워 이렇게 질문드립니다.ㅜㅜ