如果所有的M都是P，所有的S都是M，那么，所有的S都是P。这是一个三段论演绎推理模式。

法律渊源就是法律形式。

判断题法律渊源就是法律形式。

法律是调整社会关系的手段，所以，社会以法律为基础。

判断题法律是调整社会关系的手段，所以，社会以法律为基础。

法理学是研究法、法的现象以及与法相关问题的专门学问，是关于法律问题的知识和理论体系。

判断题法理学是研究法、法的现象以及与法相关问题的专门学问，是关于法律问题的知识和理论体系。