ロジックパズル

ロジックパズル（論理パズル、推理パズルともいう）は、数学パズルの一種で、文章で説明される状況などから、論理的に矛盾無くあてはまる1通りのパターンを見つけ出す、といったような形式のパズルである。学術的に見ると制約充足問題であるものが多い。