Ley transitiva, en matemáticas y lógica, cualquier enunciado de la forma «Si aRb y bRc, entonces aRc», donde» R «es una relación particular (por ejemplo,» equal es igual a…»), a, b, c son variables (términos que pueden reemplazarse con objetos), y el resultado de reemplazar a, b y c con objetos es siempre una oración verdadera. Un ejemplo de ley transitiva es «Si a es igual a b y b es igual a c, entonces a es igual a c». Hay leyes transitivas para algunas relaciones, pero no para otras. Una relación es transitiva que contiene entre a y c si también tiene entre a y b y entre b y c para cualquier sustitución de los objetos a, b, y c de. Por lo tanto, «…es igual a…» es como una relación, como es «…es mayor que…» y «…es menos que…»

Hay dos tipos de relación para la que no hay transitiva leyes: intransitivo relaciones y no transitiva de las relaciones. Una relación intransitiva es aquella que no se mantiene entre a y c si también se mantiene entre a y b y entre b y c para cualquier sustitución de objetos por a, b y c. Por lo tanto,» is es la hija (biológica) de Alice » es intransitivo, porque si Mary es la hija de Jane y Jane es la hija de Alice, Mary no puede ser la hija de Alice. Del mismo modo,»…es el cuadrado de… » Una relación no transitiva es una que puede o no mantenerse entre a y c si también se mantiene entre a y b y entre b y c, dependiendo de los objetos sustituidos por a, b y c. En otras palabras, hay al menos una sustitución en la que la relación entre a y c se mantiene y al menos una sustitución en la que no lo hace. Las relaciones «loves ama loves» y «not no es igual a …» son ejemplos.