对非自由体的某些位移起限制作用的周围物体称为（）。

根据形式演绎方法，如果结论能够被通过使用（）从给定前提中一步一步地演绎出来，那么这个论证被表明是有效的。

A、有效论证

B、逻辑等值

C、重言式原则

D、以上都对