a는 b의 사례라는 게 무슨 말임?

[익명(118.217)]

술어논리파트 읽고있는데 이해가 안됨

[익명(180.83)]

보통, 일반적인 형태를 유지하면서 제약을 가해서 실현된 형태를 사례라고 불러. 예컨대, 우리는 한 변의 길이가 1cm인 정삼각형을 그릴 수 있는데, 이건 정삼각형의 수많은 사례들 중 하나잖아. 논리식의 경우도 마찬가지인데, "모든 x는 P이다.(∀x(Px))"라는 문장의 사례는 아주 많겠지만, x의 범위 내에 들어가는 어떤 t를 적용한 논리식이겠지("t는 P이다.(P(t))"), 예를 들면, "짝수에 1을 더하면 홀수이다."라는 문장의 사례 중 하나는, "6에 1을 더하면 홀수이다" 이거나 "3478292에 1을 더하면 홀수이다", 등등...이 있겠지

[익명(180.83)]

뭐든 쉽게 쓰려면 쉽고 어렵게 쓰려면 어려우니까, 처음 읽을 때 잘 이해되지 않아도 너무 걱정하지마.

[익명(211.36)]

그냥 대입임