Definition

a proposition is a statement that has (can be interpreted semantically as having) a truth value, which under law of excluded middle (such as that followed by classical propositional logic), can be either true or false, but not both

See also

References

  1. https://proofwiki.org/wiki/Definition:Propositional_Logic
  2. https://www.cs.ox.ac.uk/people/michael.wooldridge/teaching/soft-eng/lect07.pdf>
  3. https://ncatlab.org/nlab/show/proposition