話の通じないお方。

例えば与えられた自然数が素数ならtrueを返すメソッドがある時、
普通のプログラマはその戻り値は「xが素数であるかどうか」(yes/no)を表していると考えるでしょ？

「xが素数である」という命題が正しいかどうか(right/wrong)を表しているって考える人いる？
まずいないでしょ。

前者は、別の言い方をしたら「xは素数ですか？」っていう質問に対する答えだよね。