Logical non-equivalence of propositions does not entail distinctness of the underlying property, obj...