Vacuous truth

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)

 Incoming links (6)

Partial correctness
Past exam of the logic and set theory course of the University of Oxford / 2008 / A / 2 / c / Solution
Past exam of the year 1 of the computer science course of the University of Oxford / 2003 / Calculus, probability, linear algebra, discrete mathematics, logic and proof, and models of computation / 6 / a / iv / Solution
Past exam of the year 1 of the computer science course of the University of Oxford / 2003 / Calculus, probability, linear algebra, discrete mathematics, logic and proof, and models of computation / 6 / b / iv / Solution
Past exam of the year 1 of the computer science course of the University of Oxford / 2019 / Discrete mathematics, continuous mathematics, and probability / 3 / c / ii / Solution
Relational division

 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