이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
박성찬
가입: 2005년 10월 24일 올린 글: 3
|
올려짐: 2005년11월30일 0:11 주제: 3번 문제 풀이에서, |
|
|
맨 앞에 있는 ∃x의 적용범위는 식 전체 아닌가요?
강의 노트에 보면 ∃x 같은 것들은 우선순위가 가장 낮아서
∃x. P(x) -> Q(x) 같은 식의 경우,
적용범위가 P(x) -> Q(x) 전체가 된다고 나옵니다. |
|
위로 |
|
|
황의권 손님
|
올려짐: 2005년11월30일 0:45 주제: |
|
|
강의자료에는 분명 가장 낮은 우선순위로 명시되어 있습니다. 하지만 다른 관련 교재나 이런 곳에는 우선순위가 다르기도 하다는 이야기를 들었습니다. 시험 때는 애매한 부분이 없도록 하지요.
3번에서는 크게 문제되지 않을 것 같습니다 : 가장 가까운 scope를 적용하면 되지 않을까요? |
|
위로 |
|
|
|
|
새로운 주제를 올릴 수 없습니다 답글을 올릴 수 없습니다 주제를 수정할 수 없습니다 올린 글을 삭제할 수 없습니다 투표를 할 수 없습니다
|
Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group Translated by kss & drssay
|