相関牽引

分類記号	分類名	相関索引
116.1	形式論理学：三段論法，演繹法，帰納法，類推法	類推法（論理学）

分類名 パターンマッチ

分類記号	分類名
116.1	形式論理学：三段論法，演繹法，帰納法，類推法