1. Definition
We have seen that logical propositions of the form ‘if P, then nonP’ (which equals to ‘nonP’) or ‘if nonP, then P’ (which equals to ‘P’), are perfectly legal. They signify that the antecedent is self-contradictory and logically impossible, and that the conseque…