Logiikan korjailua