술어 논리에서 까다로운 줄을 이해하는 데 어려움이 있습니다.

Question

이전 시험지에서 나온이 수식을 해석하는 데 어려움이 있습니다. xs는 자연수 ([Nat])의 목록이고 i, j, k는 Nat입니다. in(n,xs) 함수는 자연수 n이리스트 xs에 있음을 나타냅니다.

∀i∀j∀k         ; for all Nats i, j, k 
in(i,xs)^in(j,xs)^in(k,xs)    ; are in list xs 
i=j v j=k v i=k       ; at least 2 of i, j, k have the same number 

하지만 내가 먼저 모든 수를 나타냅니다 나던 그 이후 같은 값을 전달한다는 줄 알았는데 .. 그보다 더 나아가 어차피 :

∀i∀j∀k(in(i,xs)^in(j,xs)^in(k,xs) -> i=j v j=k v i=k) 

는 내가 모든 개별 의미를 이해 생각 i, j 및 k는 서로 같지 않지만이 공식의 길이가 주어지면 답은 약간 지연됨을 느낍니다.

어떤 도움이 큰, 들으하고 좋은 하루를

Answer 1

귀하의 공식을 것이다 말한다 : 따라서

∀i∀j∀k         ; take three arbitrary Nat-s 
in(i,xs)^in(j,xs)^in(k,xs)    ; if all three are in the sme list xs 
->           ; then 
i=j v j=k v i=k       ; at least 2 of them are equal 

your list does not contain three distinct numbers. 그것은 임의의 수의 Nats를 포함 할 수 있습니다. 단일 Nat의 임의의 수의 사본을 포함 할 수 있습니다. 비어있을 수도 있습니다. 당신이 그것을 원하는만큼 반복합니다

[1;1;1;1;2;2;2;2;2;1;1;1;2;2;2;2;2;2;2;2;2;2;2;2;2;2;2;2;2;2;2;2;2;2;2;2] 

는, 아마도 무한 여전히 귀하의 재산을 확인하지 (자체에을 연결) :

이

은 귀하의 재산을 확인하는 목록입니다. 이것은 또한 당신의 재산 확인 :

[1;2] 

을하지만이 일하지 않는 (반례를 : 나는 선택 I = 1, J = 3, K = 2) :

[1;2;3]