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 [[Conclusion|inference]]s can be drawn from the [[premise]], this indicates either that a premise is false or that the argument is invalid.
It is often held that from a contradiction anything can be inferred. This can be demonstrated:
It is often held that from a contradiction anything can be inferred. This can be demonstrated: