On the other hand, for any pair of contradictory premises, one must be true and the other false. The Law of Non-Contradiction prevents both premises being true, while the [[Law of Excluded Middle]] points out that a pair of contradictory premises exhausts all possibilities. Another way of putting it is: a [[proposition]] must be either true or false—not both true and false, nor in some limbo state in between [[truth]] and falsity. This can be useful in listing all possible alternatives and refuting all of them but the correct one.<ref>{{cite web |title=Loving God with all your mind: logic and creation|author=Jonathan D. Sarfati|publisher=CMI|url=https://creation.com/loving-god-with-all-your-mind-logic-and-creation|accessdate=June 10, 2013}}</ref> | On the other hand, for any pair of contradictory premises, one must be true and the other false. The Law of Non-Contradiction prevents both premises being true, while the [[Law of Excluded Middle]] points out that a pair of contradictory premises exhausts all possibilities. Another way of putting it is: a [[proposition]] must be either true or false—not both true and false, nor in some limbo state in between [[truth]] and falsity. This can be useful in listing all possible alternatives and refuting all of them but the correct one.<ref>{{cite web |title=Loving God with all your mind: logic and creation|author=Jonathan D. Sarfati|publisher=CMI|url=https://creation.com/loving-god-with-all-your-mind-logic-and-creation|accessdate=June 10, 2013}}</ref> |