如果兩個概念的外延之間有重合之處，則是相容關系。相容關系又分為全同（同壹）關系，如“北京”和“中國的首都”；包含關系，如“學生”和“大學生”；包含於關系，如“鐵”和“金屬”；交叉關系，如“大學生”和“中***黨員”。
如果兩個概念的外延之間無重合之處，則是不相容關系。不形容關系又分為矛盾關系，如“正義戰爭”和“非正義戰爭”；反對關系，如“鋼鐵”和“塑料”。
邏輯學是壹個哲學分支學科。其是對思維規律的研究。邏輯和邏輯學的發展，經過了具象邏輯—抽象邏輯—具象邏輯與抽象邏輯相統壹的對稱邏輯三大階段。
邏輯學是研究思維的學科。所有思維都有內容和形式兩個方面。思維內容是指思維所反映的對象及其屬性；思維形式是指用以反映對象及其屬性的不同方式，即表達思維內容的不同方式。從邏輯學角度看，抽象思維的三種基本形式是概念，命題和推理。
擴展資料：
例如，所有語言都是傳遞信息的，漢語是壹種語言，所以，漢語是傳遞信息的。
在這個論斷中，“所有”，“語言”，“傳遞信息”，“是”，“壹種”，“漢語”等是概念。由概念組成的語句，如“所有語言都是傳遞信息的”等等的內容稱作判斷。而由判斷組成的論斷稱作推理。
思維的這幾種基本形式又由其構成的元素和其聯結方式(結構)不同而形成各種不同的亞形式，我們把這類亞形式，即思維內容各組成部分(或元素)的聯結方式(即結構)，稱作思維的邏輯形式(或思維的形式結構)。
例如，所有股票都是有價格的；所有生物都是進化的；所有法律都是具有強制性的。
這三個判斷所表達的思想內容是不同的，它們分別陳述了經濟學、生物學和法學領域不同對象所具有的某種屬性，但是它們在結構上卻是相同的，我們說它們具有相同的邏輯形式。
我們用“S”表示每個判斷中所陳述的對象，用“P”表示對象所具有的屬性。於是，上述三個判斷的***同邏輯形式是“所有S都是P”，它是判斷形式中的壹種類型。
參考資料：