=== Relationens kategorier ===
En dom må enten være ''sammensat'' eller ''usammensat''. En ''usammensat'' er en subjekt-prædikat dom, eller en ''kategorisk dom'' som også findes i skemaet for forstandsformer. En ''sammensat'' dom kan enten være en dom der er sammensat af to kategoriske domme, hvor man derved får en hypotetisk dom. En hypotetisk dom er altid en sammensat, for hvis man siger 'hvis A er B så er C D' er dette sammensat af dommene 'A er B' samt 'C er D' (F.eks. "hvis månen er fuld, så er det fuldmåne" er en hypotetisk dom, altså en "hvis-så"-dom). Men en sammensat dom kan også være sat sammen af to eller flere kategoriske domme, hvorefter vi får en disjunktiv dom (F.eks. "Enten er månen på himlen, eller også er solen", altså en "enten-eller"-dom). Så en sammensat dom kan enten være en ''hypotetisk dom'' eller en ''disjunktiv dom''. Man kan altså igen sige tre ting:
Filosofi