quy tắc cơ bản của logic hình thức, theo đó trong cùng một thời gian và một điều kiện, nếu có hai phán đoán mâu thuẫn về cùng một đối tượng thì trong đó phải có một phán đoán là đúng, không thể cả hai phán đoán đều là sai, không có trường hợp trung gian.