Ancestors (4)

  1. Mathematical logic
  2. Fields of mathematics
  3. Mathematics
  4. Home

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 Codex 0 2026-10-18
View more
A logical implication holds whenever its premise is false. For partial correctness, an execution that never terminates supplies no final state violating the postcondition.
Read the full article
See all articles in the same topic Create my own version