이산 수학의 술어 논리 문제 모든 선수 들 은 일부 코치(A(x,y)에 게 탄복 하지 않 는 대학생 들 이 있다.위의 두 마디 서술 어 표현 식 을 써 서 다음 과 같은 공식 적 인 자유 변 수 를 가 져 간다.(임 의 y)P(x,y)^(존재 z)Q(x,z)V(임 의 x)R(x,y)

이산 수학의 술어 논리 문제 모든 선수 들 은 일부 코치(A(x,y)에 게 탄복 하지 않 는 대학생 들 이 있다.위의 두 마디 서술 어 표현 식 을 써 서 다음 과 같은 공식 적 인 자유 변 수 를 가 져 간다.(임 의 y)P(x,y)^(존재 z)Q(x,z)V(임 의 x)R(x,y)

정의 술어:
A(x,y):x 존경 y;
변 원 개체 영역:
x:운동선수;
y:코치 님;
대학생
1.(임의의 x)(존재 y)A(x,y);
2.(존재 z)(임 의 x)&\#172;A(z,x);
3.(임의의 y)P(s,y)∧(존재 z)Q(s,z)∨(임의의 x)R(x,t);