关于大学一门叫形式逻辑的课的问题

关于大学一门叫形式逻辑的课的问题 排中律是说两个具有矛盾关系或者下反对关系的思想不能同假，必有一真，其逻辑形式p∨￢p，例如，如果我们在同一概念上使用“罪犯”这个语词，那么“小刘是罪犯，不对；小刘不是罪犯，也不对”这句话就违反了排中律，因为它对两个矛盾关系的命题同时做了否定。矛盾律是说两个具有矛盾关系或者上反对关系的思想不能同真，必有一假，其逻辑形式￢（p∧￢p），例如，如果我们在同一概念上使用“赞成”这个语词，那么“选不选小张当市长我都赞成”这句话就违反了矛盾律律，因为它对两个矛盾关系的命题同时做了肯定。
矛盾关系和矛盾律不是同一个概念。首先，矛盾律是逻辑基本规律，矛盾关系是一种逻辑关系，矛盾律层次高于矛盾关系。其次，矛盾律除了涉及矛盾关系之外，还涉及上反对关系，因为错误运用上反对关系的陈述也违反矛盾律。