Logiikkaa korjattu