속성, 특징, 공통점, 공통 특징을 기호논리학적으로 표현

[익명(211.36)]

P : a의 속성

Pa

Q : a의 특징

Qa & (모든 x)(Qx → x=a)

R : a와 b의 공통점

Ra & Rb

S : a와 b의 공통 특징

Sa & Sb & (모든 x)(Sx → (x=a or x=b))