첫번째: 한정자가 붙는 경우가 있고 안 붙는 경우가 있습니다. 이를테면 아래와 같은 경우 두번째 행에서 x앞에 한정자가 붙지 않습니다. 근데 저렇게 한정자가 붙지 않으면...
모든 사람은 어떤 사람을 좋아한다. 어떤 사람은 모든 사람을 좋아한다. 저 두 명제의 대우는 어떻게 되나요? 한정자로 표현하는 것도 알려주실 수 있나요
편의상 전칭기호를 A 존재기호를 E라 쓰겠습니다. Ex(AyP(x,y)) 를 해석할때 P(x,y)를 만족하는 모든 y에 대해, 이를 항상 만족하는 x가 있다. 로 해석해서 먼저 y의...
태그: 정량자, 한정자, quantifiers
∀x∃x p(x) ∃x∀x p(x) 두개 해석을 어떻게 다르게해야되는거죠?? 보통 이렇게 문자를 다르게 해서 제시합니다. ∀x∃y p(x, y) ∃x∀y p(x, y) 1번은 x가 제시될 때마다...
메소드 오버라이딩 시 상위클래스 메소드의 한정자보다 하위클래스 한정자의 허용범위가 넓은 경우에만 허용된다고 하는데, 이렇게 하면 뭐가 좋고, 뭐 때문에...
include <iostream> using namespace std; class CObj { private: const int m_iValue; const short m_sValue; int m_iTest; public: int* GetTest(void) const //1번 함수 { return &m_iTest; }...