Teorico de Semántica de Proposicional publicado.