在西方思想史上,真正实现政治与伦理彻底分离,从而奠定现代政治学的基础的思想家是:( )。

康德认为，每一项契约都包括意志的四个法律行为，它们分别是（）。

西方最早的法律思想和法律学说起源于（）。

无效婚姻，是指欠缺婚姻生效的法定要件而不具有法律效力的婚姻。

婚姻法是以婚姻家庭关系为调整对象的法律部门，它具有的特点是（）。

韩愈的法律思想是以反对（）、（），恢复（）法律思想的统治地位，特别是弘扬（）为宗旨。

法律婚姻是指通过法律规定程序结婚的婚姻，作为法律婚姻的对称，事实婚姻是指符合结婚实质要件的男女，未办结婚登记手续而以夫妻名义同居生活，在事实上、客观上形成婚姻关系。区别法律婚姻和事实婚姻的首要标志是（）

无效婚姻，是指欠缺婚姻生效的法定要件而不具有法律效力的婚姻。

法律是以国家强制力为后盾，通过法律程序保证实现的社会规范。（）

康德认为，婚姻的完成是以（）而实现。

一般认为，MIS是以（）的系统，而DSS是以模型驱动的系统。

布尔逻辑具体检索时，是通过三个布尔运算符来实现其功能的：AND、OR、（）。