Corectitudine logică