sementic에서 질문이 있습니다.

이용석 · 가입: 2005년 9월 29일 올린 글: 6

sementics 7장에 보면 plus와 minus에 대한 정의가 있는데요.
plus(n1, n2), plus(<b,o>, n), plus(n, <b,o>)
minus(n1, n2), minus(<b,o>, n), minus(<b, o1>, <b,o2>) 에 관해서 정의되어 있는데요.

minus 정의 중에 minus(l, n) 만 있고 minus(n, l) 이 없는것은 실수인가요?
plus에서는 두쌍에 대해서 다 정의되어 있는데 minus에는 없네요.
실수이신 거라 생각했는데 혹시나 싶어서 묻습니다.

김덕환 · 가입: 2005년 8월 29일 올린 글: 190