suy luận để loại bỏ dần các trường hợp và đưa ra kết luận về một sự lựa chọn hợp lí nhất: phương pháp loại suy