술어 논리-공식

Question

주어진 것으로 가정 $2$ 술어는 아래와 같습니다.

$A(x):$ $x$ 말입니다.

$B(x,y):$ $x$ 의 꼬리입니다 $y$.

그런 다음 다음 문장을 술어 논리 공식으로 변환하십시오. "$w$ 말의 꼬리입니다 "-여기서 $w$ 임의의 변수

내 아이디어 : 나는 어떤 변수에서 $w$말, 우리는 실존적이고 보편적으로 선택해야합니까? 당신의 아이디어를 알고 싶습니다.

업데이트 : 위 문장의 공식은 다음과 같이 표현됩니다. $\forall(y)(A(y) \Rightarrow B(w,y))$?

Answer 1

지침이 주어지면 $w$수량화되지 않은 상태로 남아있는 자유 변수 여야합니다. 사용자가 제공 한 두 술어의 정의에서와 같이 임의의 이름을 삽입하는 자리 표시 자 역할을합니다.$x$ 과 $y$ 바인딩되지 않습니다.

귀하의 제안이 잘못되었습니다. 당신의 공식은 "$w$의 꼬리 모든 말 꼬리의 말 말의 꼬리 "의미" "하지만 그건의 의미 아니에요." "." 말의 꼬리 "- 특히 꼬리가 한 말의 꼬리가이 세상의 모든 말 - -따라서 말 변수는 보편적으로 정량화되지 않고 실존 적으로 존재합니다. 또한 다른 게시물 에 대한 답변에서 설명했듯이 "말의 꼬리"는 다음을 의미합니다.
$w$ 의 꼬리입니다 $y$ 과 $y$말입니다. 따라서 의미가 아닌 연결이 필요합니다. 경험상 실존 적 한정 사는 결합을 따르고 보편적 한정 사는 함축을 따릅니다.

이 힌트가 주어지면 올바른 해결책을 찾을 수 있습니까?