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

A.“三段论”的演绎推理

B.反证法

C.穷举法

D.数学归纳法

E.顿悟

F.类比

G.猜测

正确答案：“三段论”的演绎推理；反证法；穷举法；数学归纳法