真偽値なんてものはCにはないし、条件が成立する場合を真と表現することも多々あるが、
かといって、真とは条件が成立する場合であると言い切るのはやや強引。
ここは彼も含めた大方の人が理解していることだと思うんだけど、関係演算子の値こそが真偽値であり
それが0もしくは1であることが実行した結果から分かるため、真は1、偽は0と主張しているんだよね。
規格書には関係演算子を評価した値が0もしくは1であることが書かれているようだけど、
それが真偽値であると書かれてるの？

百聞は一見にしかずの件だが、プログラミングにおいては「一見」した時の環境という条件が
常につきまとうから、実行した結果がこうだったから常に正しいという主張は基本的に無意味
であるし、それを盾に自分が正しいという主張をされても誰得。