Suy luận là các bước lập luận, chuyển từ tiền đề đến kết luận. Charles Sanders Peirce chia suy luận thành ba loại: suy luận, quy nạp và bắt cóc. Suy luận là suy luận đưa ra các kết luận lôgic từ các tiền đề đã biết hoặc được giả định là đúng, với các quy luật suy luận hợp lệ được nghiên cứu trong lôgic.