若以“Ds”表示被定义项、“S1、S2……”表示种差项、“G”表示邻近的属概念、“=df.”表示定义联项,则“技术合同是当事人就技术开发、转让、许可、咨询或者服务订立的确立相互之间权利和义务的合同。”
6 查阅
若以“Ds”表示被定义项、“S1、S2……”表示种差项、“G”表示邻近的属概念、“=df.”表示定义联项,则“技术合同是当事人就技术开发、转让、许可、咨询或者服务订立的确立相互之间权利和义务的合同。”(《中华人民共和国民法典》第843条)这一法律概念的逻辑结构,可用符号公式刻画为()
A.Ds=df.(S1∧S2∧S3∧S4∧S5)+G
B.Ds=df.(S1∨S2∨S3∨S4∨S5)+G
C.Ds=df.((S1∧S2∧S3∧S4)∨S5)+G
D.Ds=df.((S1∨S2∨S3∨S4)∧S5)+G
参考答案: