“所有的马都是动物，所有的白马都是马，所以，所有的白马都是动物”的推理的形式结构符合逻辑规则，推理是正确的；“所有的马都是动物，所有的牛都不是马，所以，所有的牛都不是动物”的推理的形式结构不符合逻辑规则，推理是错误的。下列有关说法正确的是（   ）

①思维形式结构正确，结论一定正确

②思维形式结构不正确，它就是无效的推理

③内容真实和形式正确的是思维的两个基本条件

④遵循形式逻辑的规律与规则，是正确思维的必要条件

A、①③

B、①④

C、②④

D、②③