相関牽引

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

分類名 パターンマッチ

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