Legge transitiva, in matematica e logica, qualsiasi affermazione della forma “Se aRb e bRc, allora aRc”, dove “R” è una relazione particolare (ad esempio, “…è uguale a…”), a, b, c sono variabili (termini che possono essere sostituiti con oggetti), e il risultato della sostituzione di a, b e c con oggetti è sempre una frase vera. Un esempio di una legge transitiva è “Se a è uguale a b e b è uguale a c, allora a è uguale a c.” Ci sono leggi transitive per alcune relazioni ma non per altre. Transitiva, è una relazione che si instaura tra a e c, se si tiene anche tra a e b e tra b e c, per qualsiasi sostituzione di oggetti a, b, e c. Così, “…è uguale a…” è una relazione, è “…è maggiore di…” e “…a meno di…”

Ci sono due tipi di relazione per i quali non sono transitive leggi: intransitivo relazioni e non transitive relazioni. Una relazione intransitiva è quella che non vale tra a e c se vale anche tra a e b e tra b e c per qualsiasi sostituzione di oggetti per a, b e c. Quindi,” biological è la figlia (biologica) di… ” è intransitivo, perché se Maria è la figlia di Jane e Jane è la figlia di Alice, Maria non può essere la figlia di Alice. Allo stesso modo “…è la piazza di…”Un non transitive è una relazione che può o non può tenere tra a e c, se si tiene anche tra a e b e tra b e c, a seconda degli oggetti sostituito a, b, e c. In altre parole, c’è almeno una sostituzione in cui la relazione tra a e c è in possesso e almeno una sostituzione che non è così. Le relazioni “loves ama loves” e “… non è uguale a … ” sono esempi.