法律邏輯:(1)所有法律都是強制性的。(2)壹切犯罪行為都是違法的。
象征:“所有的s都是p”
其中“all”和“all are”稱為邏輯常數，“s”和“p”稱為邏輯變量。
(1)所有法律都是強制性的，有些行為準則是法律，所有行為準則都是強制性的。象征性的:所有的M都是P，有些S是M，所以有些S是P。邏輯規律分為基本邏輯規律和非基本邏輯規律。