ホーア論理とはなんですか？

A. ホーア論理とは、プログラムの正当性を厳密に推論するために、第一階述語論理を拡張した形式論理の言語です。

参考URL:https://ja.wikipedia.org/wiki/%E3%83%9B%E3%83%BC%E3%82%A2%E8%AB%96%E7%90%86