Show Summary Details

Quick Reference

(in logic)

Given the truth of a conditional statement, and the truth of the antecedent clause, the consequent clause will be true unconditionally. For example, in ‘if n is divisible by 2, n is even’ the antecedent is ‘n is divisible by 2’. When n=10, which is divisible by 2, we can detach the conditional part of the statement, leaving ‘n is even’ to stand alone without qualification.

Subjects: Mathematics.

Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.