gic is such that a false proposition implies any other proposition, tru
together; so that one of them must be in dur