CEVAP: Leibniz Yasası: x ile y özdeş ise, x ile y’nin tüm (içsel) özellikleri aynıdır. (ZLİ) x ile y’nin tüm özellikleri aynı ise, x ile y özdeştir. (KLİ) x ile y’nin tüm içsel özellikleri aynı ise, x ile y özdeştir. Leibniz Yasası, mantıkça geçerli bir önermedir. Öte yandan Leibniz İlkesi’nin iki biçimi olan, (ZLİ) ile (KLİ) mantıkça geçerli olmamakla birlikte, tartışmaya açık olan birer metafizik önermedir.