x는 y를 사랑한다. y는 x에게 사랑받는다.

[익명(211.36)]

'논리적' 동치임?

[러셀(salvaveritate)]

피동문이 어떠한 논리적 구조를 갖는다고 보느냐에 달려있을듯. 만일 A is F-ed by B의 논리적 구조가 B F-s A랑 같다고 한다면, Alice is loved by Bob과 Bob loves Alice는 둘 다 Lab 꼴의 논리적 구조를 갖고 있으니, Lab와 Lab는 동일한 문자를 어떻게 바꾸더라도 둘이 동시에 참이니까 논리적 동치이겠지. 한편 피동문이 뭔가 다른 구조를 갖고 있다고 해서, Lab가 '아닌' Mba 따위의 논리적 구조를 갖는다고만 보아야 한다면 논리적 동치가 아니겠지 (대신 의미론적인 이유로 상호함축하는 문장이 되겠고).

[익명(116.45)]

눈팅하는데 졸라 멋있다 ㄷㅅㄷ 뭔가 사고하는거나 그런게 엄청 깔끔할 것 같음.

[익명(211.36)]

혹시 어디 과임?

[le merle(116.42)]

즉 동치인지의 여부(=의미(semantic))는 술어(predicate)의 해석(interpretation)에 달렸다는 것