Deduction is a process in logical inference where a conclusion is based on an examination of facts. It is a conclusion that logically follows from the premises. For example, “All men are mortal. Socrates was a man. Therefore, Socrates was mortal.”