Text this: La teoría semántica de la verdad de tarsky y la teoría de modelos