일차 논리 화학식

Question

R (X)는 적색 블록
B이다 (X) 푸른 블록
T에게이다 (여기서 x, y)의 블록 (X) 블록 (Y)의 상단에

질문 :
쓰기 빨간색 블록이 빨간색 블록 위에 없으면 그 위에 빨간색 블록이 없다고 주장하는 수식입니다.

대답 : (Ax) (Ay) (R (x) 및 R (y)) -> (Ax) (R (x) -> T , 배))
A = 모든
~ =하지
찾는 -> =

Answer 1

그럴듯한 공식이지만 반드시 문장의 가장 직설적 인 번역은 아니지만 내 마음에 (Ax) (Ay) (T (x, y) -> R (x) - > R (y)) -> ~ (3x) (R (x) 및 T (x, x)). 3, 여기서는 실존 적 한정어이다 (즉, "존재한다").

Answer 2

나에게 잘 보이는 것을 의미한다.

Answer 3

(도끼) (불안) (AZ) {(((R (x)와 R (Y)) -> ~ T (X, Y)) -> ~ T (Z, Z)}