Suy luận theo kiểu suy luận là kiểu lập luận bắt đầu bằng một hoặc nhiều khẳng định (tiền đề) và kết thúc bằng một khẳng định khác (kết luận) mà sự thật được đảm bảo bởi tính hợp lệ của quá trình lập luận. Mặt khác, lập luận quy nạp bắt đầu với một hoặc nhiều tiền đề và cố gắng khái quát hóa từ điều đúng trong một số trường hợp thành điều có khả năng đúng nói chung.
Lập luận suy luận sử dụng các quy tắc logic để đi đến kết luận. Nếu các tiền đề là đúng và các luật được áp dụng là đúng, thì kết luận cũng nhất thiết phải đúng. Đây là một ví dụ của suy luận suy diễn: "Tất cả đàn ông đều là người phàm. Socrates là người. Do đó, Socrates là người phàm". Kết luận ("Socrates là người phàm") được rút ra từ hai tiền đề ("Tất cả đàn ông là người phàm" và "Socrates là đàn ông") bằng cách áp dụng luật từ logic vị từ được gọi là Universal Instantiation.
Trong suy luận quy nạp, vai trò của tiền đề là hỗ trợ mạnh mẽ cho kết luận, nhưng tính chân lý của kết luận không được đảm bảo, bởi vì kiểu lập luận này không sử dụng các quy luật phổ quát (chẳng hạn như các quy luật logic) để đi đến kết luận. Phần lập luận sau đây là quy nạp: "Tôi đã nhìn thấy nhiều con thiên nga và chúng đều có màu trắng. Vì vậy, tất cả các con thiên nga đều có màu trắng." Trong trường hợp này, lý do đúng vì tiền đề ủng hộ kết luận, nhưng kết luận là sai, vì có những con thiên nga đen.
