##monograph.return## Lógica formal