• 소햄지 · 1381697 · 06/01 18:47 · MS 2025

    C면 A고 C면 B일때 AB 필요충분이라는 이야긴가?
    그냥 단순하게 AB 동일집합이고 그 안에 C있는거밖에 없지 않나

  • 쿠쿠리 · 1310649 · 06/01 18:47 · MS 2024

    허미...

  • 소햄지 · 1381697 · 06/01 18:55 · MS 2025 (수정됨)

    그림은 뭔소리하는지 잘 모르겠는데 밑에 풀어낸 식을 가장 간단하게 해석해보면 저 명제를 만족하는 C는 A∪B의 부분집합이다 정도밖에 안됨

    나도 잘 아는건 아니지만 양변에 A∩B가 왜 달려있는지 모르겠음
    막말로 C가 A∩B를 완전히 포함하거나 아예 포함하지 않아야 한다라는 조건이 달린게 아닌 이상 있어도 그만 없어도 그만이라

  • 쿠쿠리 · 1310649 · 06/01 18:56 · MS 2024

    제미니가 이상한가보네여..

  • 소햄지 · 1381697 · 06/01 18:57 · MS 2025

    님이 물어본 명제로 의도한 바가 뭐임?

  • 쿠쿠리 · 1310649 · 06/01 18:58 · MS 2024

    맨밑에 파란그림에 나온 네모 노드와 그사이 화살표가 "부분집합관계" 만을 나타낸다면
    그 노드와 화살표만으로 집합의 모든관계, 더나아가 명제논리의 모든관계를 노드와 화살표만으로 나타낼수 있냐는거였음