왜 ESO 수식의 만족 성이 FO 수식의 만족성과 동일하지 않은 이유는 무엇입니까?
-
29-09-2020 - |
문제
실존 2 차 로직 (ESO) 수식은 양식을 가지고 있습니다. $$ \ phi=r_1 ... \ r_k. \ phi $$ 여기서 $ r_1 ... r_k $ 은 관계 기호와 $ \ phi $ 은 FO 수식입니다. 이는 $ r_1 ... r_k $ 뿐만 아니라 다른 관계 기호를 사용할 수 있습니다. 내 주장은
입니다$ \ phi $ 은 $ \ phi $ 이 만족할만한 경우에만 만족할 만합니다. .
실제로, FO 화학식의 만족성은 우주를 찾는 것을 의미하고, 모든 관계 심볼의 해석을 의미한다. 따라서 우리는 암시 적 정량 $ \가 존재합니다. $ \ r_k $ > $ \ 만족성을 고려할 때 PhI $ . (유효성을 위해, 청구는 이 아닌 보류가 아닙니다.)
그러나 주장은 사람들이 FO의 ESO의 만족성을 연구하기 때문에 청구가 잘못되어야합니다. 내가 뭘 그리워 하는가?
해결책
you right : ESO 문장은 첫 번째 "행렬"을 만족할 만합니다. 기호 으로 대체 된 관계 / 기능 변수가 만족됩니다.
ti'm 여기에 전문가가 아니라 무슨 일이 일어나고 있는지 "언어 적 편리함"이라고 생각합니다.우리가 우연히 얻지 않는 다른 관련 질문이 있습니다.예를 들어, 주어진 유한 구조에서 1 차 문장이 사실인지 여부를 확인하는 것과 동일한 구조 $ {}$ ( 's reduct) .마찬가지로, 당신이 ESO 문장에 대한 유효성을 말하면 엄격하게 문장의 유효성보다 복잡합니다.이러한 방식으로 ESO 유효성, 주어진 구조의 ESO 진리에 대해 말하고있는 도 에 대해 도 말하고있는 경우에는 ESO 만족 성에 대해 더 일관성을 느낄 수 있습니다.