gic is such that a false proposition implies any other proposition, tru

together; so that one of them must be in dur