susanna epp 이산수학 및 응용에서
"∀x∈p(x), q(x)"를 "∀x(p(x)→q(x))"로 나타낼 수 있고
"∃x∈p(x), q(x)"를 "∃x(p(x)∧q(x))"로 나타낼 수 있다는데
전자를 "∀x(p(x)→q(x))"말고 "∀x(p(x)∧q(x))"로
후자를 "∃x(p(x)∧q(x))"말고 "∃x(p(x)→q(x))"로 나타낼수는 없나요?
"∀x(p(x)→q(x))"하고 "∀x(p(x)∧q(x))"의 차이랑
"∃x(p(x)∧q(x))"하고 "∃x(p(x)→q(x))"가 실질적으로 어떤 차이가 있는지 모르겠어요
스티븐 바커 책에 다이어그램이었나 말로 설명해놓은거 있었는데
ㄴ책 제목이 머에용?
스티븐 바커 논리학의 기초
ㄴ고맙습니당
저들 둘의 차이는 너무나 명백한데 뭐가 이해가 안된다는건지 잘 모르겠음...
질료함축 쳐보세요 - dc App