The ‘resolving’ of a truth tends to involve substituting some or all of its terms for their definitions. So the resolution of the truth ‘a bachelor is unmarried’ would involve substituting the definition ‘an unmarried man’ for ‘bachelor’, to give ‘an unmarried man is unmarried’, which is an identity.
