8, 10이 문제인데
or 왼쪽 문장에서 &부터 그 왼쪽의 문장까지가 필요한 이유가
보편양화문은 존재함축을 하지 않아서 맞나요?
그렇다면 or 오른쪽 문장이 위에 말한 & 왼쪽 부분을 필요로 하지 않는 것은 쌍조건문이기 때문에, or 왼쪽 문장의 & 오른쪽 문장의 역도 함축하고, 그 역문장이 존재함축 기능을 하기 때문이라고 보면 되나요?
앞의 추론이 먼저 성립해야겠지먼
x=u(임의의 이름)이 전건에 오면 존재함축이 생기는 이유가 뭐에요?
존재함축에 대한 이해는 옳았어요. 동치에 대한 질문은 10번 문제를 예로 들게요. 전칭양화사 제거 규칙을 사용해서, 부분공식의 x에 g를 넣어 보시겠어요?
Sgo->g=g g=g->Sgo 이렇게여?
네. 그런데 g=g는 항상 성립하죠? 그래서 Sgo입니다.
오... 그러네요 진짜 저는 g가 이름만 있고 존재하지 않는 대상일 수도 있지 않나 생각했었는데 그렇게 보는 거였군요. 감사합니다!