Stav dette: Opacidad y semántica de Montague