Example: Examples of Propositions With a More Complex Syntax

(related to Definition: Interpretation of Propositions - the Law of the Excluded Middle)

We have introduced a special case for the syntax of $PL0$ as propositions corresponding to Boolean terms. Let us recall the examples of Boolean terms we have considered as $PL0$ so far:

However, the Law of Excluded Middle also holds for any kind of more complex syntax, in which we allow the two-valued interpretation of $PL0$.

Let us first discuss some less formal example - the example of spoken human language (like English).

Now, let us discuss some more formal examples - the example invoking the formal language of equations:

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




  1. Cryan D., Shatil S., Mayblin B.: "Logic. A Graphic Guide", Icon Books Ltd., London, 2001
  2. Kohar, Richard: "Basic Discrete Mathematics, Logic, Set Theory & Probability", World Scientific, 2016