la condici贸n de adecuaci贸n material de Alfred Tarski exige que una definici贸n aceptable de verdad tenga como consecuencia todas las instancias del esquema:
S es verdadera syss p
donde "S" nombra a la oraci贸n del lado de la derecha.
(Haack, 1978).
Ejemplo: 'la nieve es blanca' es verdad si y s贸lo si la nieve es blanca.
T (por truth, verdadero en ingl茅s) o esquema se utiliza, en la teor铆a sem谩ntica de la verdad de Tarski, para dar una definici贸n inductiva de la verdad. Se expresa generalmente en lenguaje natural, pero se puede formalizar en la l贸gica de predicados o l贸gica modal. Tal formalizaci贸n (S es verdadera syss p) se conoce como T.
(Wikipedia).