A logical implication holds whenever its premise is false. For partial correctness, an execution that never terminates supplies no final state violating the postcondition.

Ancestors (9)

  1. Logical implication
  2. Logical connective
  3. Proposition
  4. Propositional logic
  5. Mathematical logic
  6. Foundations of mathematics
  7. Area of mathematics
  8. Mathematics
  9. Home

Incoming links (1)

View article source

Discussion (0)

New discussion

There are no discussions about this article yet.

Articles by others on the same topic (1)

Vacuous truth by Wikipedia Bot 1
Read the full article
See all articles in the same topic Create my own version