Leibniz Yasası olarak bilinen bu prensip bir şeyin bir başka şeyle eşdeğer mi yoksa ona taban tabana zıt mı olduğunu anlamak için uygulanır: diyelim x A, B ve C niteliklerini taşıyor ama D, E ve F niteliklerine sahip değil, buna karşın y ise D, E ve F niteliklerine sahip ama A, B ve C niteliklerini taşımıyor. Bu durumda x, y değildir. Eğer x ve y’nin birbirinin tıpatıp aynısı olduğu ortaya çıkarsa, yani birbiriyle eşdeğer iseler, o zaman tıpatıp aynı nitelikleri taşıyorlar demektir.