C언어는 소프트웨어다.
자바는 소프트웨어다.

이러한 명제가 성립하나요?