La lógica estudia los problemas y las leyes del pensar formal.