 In order to convince ourselves that the characterizations of logical truth in terms of DC\((F)\) and MTValid\((F)\) are extensionally adequate we should convince ourselves that the converse implications hold too: