如果两个概念的外延之间有重合之处，则是相容关系。相容关系又分为全同（同一）关系，如“北京”和“中国的首都”；包含关系，如“学生”和“大学生”；包含于关系，如“铁”和“金属”；交叉关系，如“大学生”和“中共党员”。
如果两个概念的外延之间无重合之处，则是不相容关系。不形容关系又分为矛盾关系，如“正义战争”和“非正义战争”；反对关系，如“钢铁”和“塑料”。
逻辑学是一个哲学分支学科。其是对思维规律的研究。逻辑和逻辑学的发展，经过了具象逻辑—抽象逻辑—具象逻辑与抽象逻辑相统一的对称逻辑三大阶段。
逻辑学是研究思维的学科。所有思维都有内容和形式两个方面。思维内容是指思维所反映的对象及其属性；思维形式是指用以反映对象及其属性的不同方式，即表达思维内容的不同方式。从逻辑学角度看，抽象思维的三种基本形式是概念，命题和推理。
扩展资料：
例如，所有语言都是传递信息的，汉语是一种语言，所以，汉语是传递信息的。
在这个论断中，“所有”，“语言”，“传递信息”，“是”，“一种”，“汉语”等是概念。由概念组成的语句，如“所有语言都是传递信息的”等等的内容称作判断。而由判断组成的论断称作推理。
思维的这几种基本形式又由其构成的元素和其联结方式(结构)不同而形成各种不同的亚形式，我们把这类亚形式，即思维内容各组成部分(或元素)的联结方式(即结构)，称作思维的逻辑形式(或思维的形式结构)。
例如，所有股票都是有价格的；所有生物都是进化的；所有法律都是具有强制性的。
这三个判断所表达的思想内容是不同的，它们分别陈述了经济学、生物学和法学领域不同对象所具有的某种属性，但是它们在结构上却是相同的，我们说它们具有相同的逻辑形式。
我们用“S”表示每个判断中所陈述的对象，用“P”表示对象所具有的属性。于是，上述三个判断的共同逻辑形式是“所有S都是P”，它是判断形式中的一种类型。
参考资料：百度百科——逻辑学
