Lógica Matemática aplicada à Engenharia Elétrcia