in logical sematics,it shows that unless the antecedent is true and the consequent is false, the composite proposition will be true.
it still says a composite proposition will be true, as long as tis consequent is true.
详见胡壮麟的语言学教程第三版121-122页。请问上下两个句子矛盾吗?