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