Nói chung, người ta sẽ nói rằng suy luận là sự suy diễn một thứ từ một thứ khác.
Suy luận là hoàn toàn và duy nhất sản phẩm của tâm trí chúng tôi, bởi vì nó là một sự đánh giá được thực hiện giữa những cách diễn đạt của một ngôn ngữ nhất định, mà một khi có quan hệ với nhau theo cách trí tuệ sẽ cho phép chúng ta đi đến một ý tưởng hợp lý. Bằng cách này, bắt đầu từ sự thật hay sai mà một số biểu thức đề xuất, chúng ta có thể suy ra sự thật hay sai của một số biểu thức khác.
Trong khi đó, một định đề sẽ xuất hiện từ quy trình nói trên.
Trong logic truyền thống, thường được biết đến với cái tên Aristoteles, bởi vì nó được xây dựng lần đầu tiên bởi nhà triết học nổi tiếng người Hy Lạp. Aristotle, dạng suy luận sau đó là thuyết âm tiết. Đây là một kiểu lập luận suy diễn bao gồm hai mệnh đề làm tiền đề và một mệnh đề khác như một kết luận, tiến trình sau như một suy luận đã có, từ hai mệnh đề kia.
Chúng ta có thể tìm thấy ba kiểu suy luận; NS khấu trừ, đối số suy diễn là một kiểu quy định sự tồn tại cùng tồn tại của tiền đề và kết luận, đảm bảo rằng cái sau sẽ được thể hiện trong tiền đề, ví dụ: tất cả các quả bóng bay trong túi này đều có màu đỏ, những quả bóng bay này thuộc túi này, do đó những quả bóng bay này có màu đỏ; NS hướng dẫn, lập luận quy nạp thừa nhận sự tồn tại có thể xảy ra của tiền đề và kết luận, đảm bảo rằng điều sau có thể được phản ánh trong tiền đề, ví dụ: những quả bóng bay là từ cái túi này, những quả bóng bay màu đỏ, vì vậy tất cả những quả bóng bay trong cái túi này đều có màu đỏ; và bắt cóc, đối số kiểu bắt buộc đề xuất sự tồn tại có thể có giữa tiền đề và kết luận, đảm bảo rằng phần sau có khả năng được thể hiện trong tiền đề đã nói ở trên, ví dụ: tất cả các quả bóng bay trong cái túi này đều có màu đỏ, những quả bóng bay này có màu đỏ, vì vậy những quả bóng bay này tương ứng với cái túi này.
