드라마는 종류가 4개가 있다를 논리학적으로 표현하면

[익명(211.36)]

모든x((x는 드라마이다.)->(~)) 이런 형식인 것 같은데

~는 어떻게 되는 거지..

[러셀(salvaveritate)]

가장 단순하게는 고차 논리 표현을 써서 (그리고 괄호를 적당히 생략해) 이렇게 할 수 있을 듯. (∀x)(∃W)(∃X)(∃Y)(∃Z)[(Dx↔(Wx∨Xx∨Yx∨Zz))∧¬(W=X∨W=Y∨W=Z∨X=Y∨X=Z∨Y=Z)] (D: 드라마이다)

[익명(117.111)]

술어끼리도 동일성술어를 쓸수 있음?

[러셀(salvaveritate)]

이차 동일성 술어를 도입하면 되지! 정의하는 방식은 다양할 수 있겠지. SEP에서는 ∀x1, …, ∀xn(X(x1, …, xn) ↔ Y(x1, …, xn))과 같이 정의.