Discute a Lógica  Aplicada à  Computação nos seus aspectos informais e formais