Loại trừ , về mặt logic, một bằng chứng chặt chẽ hoặc dẫn xuất, của một tuyên bố (kết luận) khỏi một hoặc nhiều phát biểu (tiền đề) - tức là, một chuỗi các phát biểu, mỗi phát biểu là tiền đề hoặc hệ quả của một phát biểu xảy ra trước đó trong bằng chứng. Cách sử dụng này là sự khái quát hóa cái mà nhà triết học Hy Lạp Aristotle gọi là thuyết âm tiết, nhưng thuyết âm tiết ngày nay được công nhận chỉ là một trường hợp suy luận đặc biệt. Ngoài ra, quan điểm truyền thống cho rằng sự suy diễn tiến hành “từ cái chung đến cái cụ thể” hoặc “từ cái phổ quát đến cái riêng” đã bị hầu hết các nhà logic học loại bỏ là không chính xác. Một số chuyên gia coi tất cả các suy luận hợp lệ là suy luận theo hình thức và, vì lý do này và lý do khác, bác bỏ sự tương phản được cho là giữa suy luận và quy nạp. Xem thêmphương pháp tiên đề; hệ thống chính quy; sự suy luận.
Đọc thêm về chủ đề này Suy nghĩ: Suy luận Suy luận suy luận, hoặc suy luận, liên quan đến việc phân tích các hình thức lập luận hợp lệ và rút ra kết luận tiềm ẩn trong tiền đề của chúng .... Bài viết này đã được Brian Duignan, Biên tập viên cấp cao sửa đổi và cập nhật gần đây nhất.
