Brad smith. Country lago. O inspetor bugiganga. Proposição lógica exemplos.