하지만 대개의 경우에 그렇고 술어논리가 이차논리인 경우도 있는듯... or 경우에 따라서 이차논리도 포함하는 것?... QQQ
chk, from e2
{
명제,proposition와 달리,
술어,predicate는 일반적이다(generic): it applies to a whole range of things. By filling in concrete examples of these things, a predicate becomes a proposition.
그래서 술어를 명제 with
자유변수,free_variable로 생각할 수 있다.
술어(pred.)의 t/f가 정해지면 명제(prop.)가 된다.
술어는 결정되지 않음. 명제는 결정됨.
}