Hãy bắt đầu với những tiền đề đảm bảo một kết luận và bạn đang suy luận theo phương pháp diễn dịch. Tất cả mọi người đều phải chết. Socrates là một người. Do đó, Socrates sẽ phải chết. Nếu các tiền đề đúng và hình thức hợp lệ, thì kết luận phải đúng. Không có chỗ cho xác suất. Suy luận diễn dịch là xương sống của logic, toán học và chứng minh chính thức.

Aristotle là người đầu tiên hệ thống hóa phép suy luận, sử dụng tam đoạn luận làm công cụ cơ bản. Tam đoạn luận có hai tiền đề và một kết luận, được sắp xếp sao cho kết luận tất yếu. Các nhà logic học thời Trung cổ đã tinh chỉnh hệ thống này, và các nhà logic học hiện đại như Frege và Russell đã phát triển logic ký hiệu, biểu diễn các hình thức suy luận bằng các ký hiệu và quy tắc. Phép suy luận bảo toàn chân lý: nó không thể dẫn bạn từ các tiền đề đúng đến một kết luận sai. Nhưng nó không thể tạo ra nội dung mới vượt quá những gì các tiền đề đã chứa đựng. Đó là lý do tại sao phép suy luận mạnh mẽ trong việc chứng minh và hạn chế trong việc khám phá.

Khái niệm chính

• Tính hợp lệ.
• Tính đúng đắn.
• Suy luận.
• Ví dụ phản chứng.

Suy luận diễn dịch xuất hiện trong lý luận hàng ngày, lập luận pháp lý, lập trình máy tính và chứng minh triết học. Khi ai đó nói "nó suy ra một cách logic", họ thường muốn nói đến suy luận diễn dịch.