Hoo論理

検索クエリから.

前者は「ホーア論理」のtypoかなと思うんだけど、後者は全く意味がわからない。