In a [[proof]], if two contradictory [[inference]]s can be drawn from the [[premise]], this indicates either that a premise is false or that the argument is invalid. | In a [[proof]], if two contradictory [[inference]]s can be drawn from the [[premise]], this indicates either that a premise is false or that the argument is invalid. |