이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
현경렬
가입: 2005년 9월 28일 올린 글: 19 위치: 스쿨
|
올려짐: 2005년12월1일 1:09 주제: Predicate logic의 proof 과정 중 질문이 있습니다. (p -> ?x.p) |
|
|
를 proof하는 방법을 모르겠습니다.(아무 조건 없이)
P(x)의 x가 free variable이 아니라면 확실히 가능한데,
x가 free variable일 경우 위 proof를 어떻게 할 수 있는지 궁금하네요.
덧, 출석률이 저조해 죄송합니다. _________________ Programming Rumble |
|
위로 |
|
|
현경렬
가입: 2005년 9월 28일 올린 글: 19 위치: 스쿨
|
올려짐: 2005년12월1일 1:46 주제: Re: Predicate logic의 proof 과정 중 질문이 있습니다. (p -> ?x.p) |
|
|
현경렬 씀: |
를 proof하는 방법을 모르겠습니다.(아무 조건 없이)
P(x)의 x가 free variable이 아니라면 확실히 가능한데,
x가 free variable일 경우 위 proof를 어떻게 할 수 있는지 궁금하네요.
덧, 출석률이 저조해 죄송합니다. |
코드: | P(x)
---------
{x/x}P(x)
---------
?x.P(x)
|
이렇게 하면 되는군요 강의 슬라이드를 제대로 보지 않은 제 불찰입니다, 죄송합니다. _________________ Programming Rumble |
|
위로 |
|
|
|