The Weakest Precondition of a Series of Statements Is the Composition

question 20

True/False

The weakest precondition of a series of statements is the composition of the weakest preconditions of its parts.

---

Definitions:

Retrograde Amnesia

The inability to recall events that occurred prior to a traumatic event.

Anterograde Amnesia

An inability to recall events that occur after some disturbance to the brain.

Declarative Amnesia

The loss of capability to recall explicit information, including facts and personal events, usually due to brain injury or disease.

Semantic Memory

A type of long-term memory involving the ability to remember meanings, concept-based knowledge, and factual information.