Math Planet If : Een voorwaardelijke bewering is onwaar als de hypothese waar is en de conclusie onwaar. Als we een voorwaardelijke verklaring herschikken of delen ervan wijzigen, dan geldt: Als beide verklaringen waar zijn of als beide verklaringen onwaar zijn, is het omgekeerde waar.