 Do the propositions that these sentences express share a property of being true? Well, in one intuitive sense they do: Since they both are true, we might infer that they both have the property of being true. From this point of view, there is a truth property: It is simply the property that all true propositions have.