Software Proposition Statement

A Software Proposition Statement is a software statement that is a proposition statement.

• See: Software Assertion, Mathematical Lemma.

---

---