若以“Ds”表示被定义项、“S1、S2……”表示种差项、“G”表示邻近的属概念、“=df.”表示定义联项,则“合同是民事主体之间设立、变更、终止民事法律关系的协议。”(《中华人民共和国民法典》第464

8 查阅

若以“Ds”表示被定义项、“S1、S2……”表示种差项、“G”表示邻近的属概念、“=df.”表示定义联项,则“合同是民事主体之间设立、变更、终止民事法律关系的协议。”(《中华人民共和国民法典》第464条第1款)这一法律概念的逻辑结构,可用符号公式刻画为()

A.Ds=df.(S1∧S2∧S3)+G

B.Ds=df.(S1∨S2∨S3)+G

C.Ds=df.(S1∧(S2∨S3))+G

D.Ds=df.(S1∨(S2∧S3))+G

参考答案:

答案:Ds=df.(S1∨S2∨S3)+G