Strong vs. Weak Terminology (2)

• We can regard a proposition P as ‘accepting’ just those states* where it evaluates to true, and rejecting those where it is false.

• Since every proposition implies True, True (weakly) rejects no state. False implies every proposition, so False (strongly) rejects every state.

• Therefore we can regard P’s relative strength as a measure of its ‘selectivity’ or discriminating power:

  • True is totally accepting (weakest of the P’s).
  • False is totally rejecting (strongest of the P’s).

__________________

* ‘State’ means values of all relevant data items and objects.

Previous slide

Next slide

Back to first slide

View graphic version