下面的哪些推理形式，是逻辑推理？

下面的哪些推理形式，是逻辑推理？
A.“三段论”的演绎推理
B.反证法
C.穷举法
D.数学归纳法
E.顿悟
F.类比
G.猜测
正确答案：“三段论”的演绎推理；反证法；穷举法；数学归纳法