CAFE

댓글

뒤로

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

작성자전현진| 작성시간26.06.19| 조회수0| 댓글 12

댓글 리스트

  • 작성자 홍재연 작성시간26.06.19
    A -> B 와 A -> C 2개를 그린다면,
    A가 참일 때, B도 참이고 ( AND ) C 도 참이다.

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


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

    A가 참이 되기 위한 필요조건은 반드시 B가 참이어야 한다.
  • 작성자 홍재연 작성시간26.06.19 (1) A가 참일 때, B도 참이다. <-- 본인이 해석한 것


    A가 참일 때, B는 거짓일 수도 있습니다.
  • 작성자 홍재연 작성시간26.06.19 문제에서 보면,

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

    # 이 성립하려면, 부장 "또는(OR)" 사원 이어야 한다. 라고 해석하신지가 궁금합니다.


    # --> 부장은 성립하고
    # --> 사원은 성립하지 않을 수도 있습니다.
  • 작성자 홍재연 작성시간26.06.19 다시 한번 더 생각하고
    질문하세요.
  • 작성자 전현진 작성자 본인 여부 작성자 작성시간26.06.19 우선 답변 감사합니다.
    A가 참이기 위한 필요조건은 B가 참이어야 한다는 것은,
    B가 참이 아니면, A가 참이 아니라는 의미이고, 이를 대우로 생각하면,
    A가 참이면 B가 반드시 참임을 의미하는 것으로 생각되는데, 혹시
    여기서 얘기하는 필요조건이 명제에서 얘기하는 필요조건이 아닌 다른 것인가요?
  • 작성자 전현진 작성자 본인 여부 작성자 작성시간26.06.19 -> 화살표가 각각 그러져 있는데, 이게 어떻게 자연스럽게 OR로 해석되는지 궁금합니다.
    혹시 -> 화살표가 각각 그려지면 항상 OR로 해석된다는 약속?이 있는 것인가요?
  • 작성자 홍재연 작성시간26.06.19 화살표가 각각 그러져 있는데, 이게 어떻게 자연스럽게 OR로 해석되는지 궁금합니다.


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

    저도 다시 한번 더 생각해 보겠습니다.
  • 작성자 홍재연 작성시간26.06.19 A--->B--->C처럼 연속적이면 AND

    A--->B
    A--->C는 OR
  • 작성자 전현진 작성자 본인 여부 작성자 작성시간26.06.19 아.
    R 이나 M 처럼 원인/결과 노드들 간의 조건 관계는 한 노드에서 연속적이지 않게 여러 노드를 제약하면 OR로 해석한다는 말씀이신가요?
  • 작성자 홍재연 작성시간26.06.20 그렇습니다.
    여자이면서 남자일 수는 없습니다.
  • 작성자 전현진 작성자 본인 여부 작성자 작성시간26.06.20 노드a가 지역이고,
    노드b가 성별인데,
    노드c가 나이라고 하면,

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

    정답이 없는거에 정답을 찾는건지 참 어렵습니다ㅠㅠ
  • 작성자 전현진 작성자 본인 여부 작성자 작성시간26.06.20 죄송합니다. 뭐를 준거점으로 잡아야할지 혼란스러워 이렇게 질문드립니다.ㅜㅜ
맨위로

카페 검색

카페 검색어 입력폼
카카오 이모티콘
사용할 수 있는 카페앱에서
댓글을 작성하시겠습니까?
이동시 작성중인 내용은 유지되지 않습니다.