Birinin yalanladığı, ötekinin doğruladığı iki önermeden birinin doğru olması gerektiğini, üçüncü bir ihtimalin söz konusu olmayacağını anlatan yasa