ロジックパズル

ロジックパズル（論理パズル、推理パズルともいう）は、数学パズルの一種で、文章で説明される状況などから、論理的に矛盾無くあてはまる1通りのパターンを見つけ出す、といったような形式のパズルである。学術的に見ると制約充足問題であるものが多い。
マトリックス.
例題1のようなパズルの場合、表出されている条件が多くなると、それらの情報を脳内で整理することが困難になってくる。（パズルに限らず一般的に使われる手法であるが）タテヨコに各条件を並べたテーブル（「マトリックス」などと呼ばれる）を作り、当てはまる条件に対応する部分に○や×などの記号を書き込み、整理の補助とする。
作家.
ルイス・キャロルのロジックパズルはLewis Carroll's Games and Puzzles(Dover, 1992年)で見ることができる。ロジックパズルの個人問題集を多く残した著者には、レイモンド・スマリヤンや小野田博一（11冊--このうち4冊が韓国語に、2冊が中国語に翻訳されている）らがいて、どちらも「ウソつき」がらみの問題が多い。個人集はDover社からの出版が多く、絶版のものも含めて10点以上が同社から出版されている。