Lógica borrosa e interpretación correspondentista de la teoría semántica de la verdad de Tarski.