もしかして、ここで悩んでるのかな？
クイズです！高校レベルの論理学や数学を学んだ人なら解答OK.

「バカ丸」はHNを表す文字列であるとするとき、（HNの集合の元の一つだとする）
s2. バカ丸のハンドルネームは、バカ丸である。（真）
s3. s2は常に成り立つ。（真）
s4. s2から、バカ丸というHNで書き込みがあったといえる。（真か偽）


s4は真か偽のどちらかであるとき、s4は真だとおもいますか？