Chapter: Contradictory Propositions in Propositional Logic

A similarly important concept as equivalent propositions is that of contradictory propositions. We have seen that in a general formal language, a contradiction in an expression $\phi$ which is always invalid, i.e. for any interpretation $I$, the corresponding valuation function $[[\phi]]_I$ is false. In the semantics of propositional logic , contradictions are exactly the same concept.

Contradictions are extraordinarily useful tools when we want to find the right conclusion by using the exclusion principle. If we manage to exclude all conclusions because they are invalid and there is only one conclusion left - the last possibility must be valid.

We will now learn some important examples of contradictions.

  1. Lemma: A proposition cannot be both, true and false
  2. Lemma: A proposition cannot be equivalent to its negation

Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs


References

Bibliography

  1. Mendelson Elliott: "Theory and Problems of Boolean Algebra and Switching Circuits", McGraw-Hill Book Company, 1982