Logic được định nghĩa trong lĩnh vực triết học là nghiên cứu về lý luận xác đáng. Nó thường được chia thành ba loại phụ của suy luận lôgic: suy luận quy nạp, suy luận suy diễn và suy luận tổng hợp.
Mỗi loại trong số ba kiểu suy luận logic sử dụng một phương pháp khác nhau để đưa ra các suy luận hợp lệ. Suy luận quy nạp tập trung vào việc rút ra kết luận thông qua các quan sát vật lý, chẳng hạn như lưu ý rằng lực hấp dẫn phải là một nguyên lý thực sự vì bất kỳ vật thể nào được ném lên cũng phải quay trở lại. Suy luận suy diễn liên quan đến việc tìm ra chân lý cần thiết từ các phát biểu trực tiếp, chẳng hạn như suy ra rằng tất cả các cử nhân đều chưa lập gia đình, do đó một người đàn ông chưa kết hôn là một cử nhân. Cuối cùng, suy luận hiệu quả sử dụng các tình huống có thể xảy ra để suy ra một sự thật có thể xảy ra, chẳng hạn như quan sát rằng mưa làm cỏ ướt và nếu cỏ ướt, có thể trời đã mưa sớm hơn.
