The process of reasoning from one or more general statements regarding what is known to reach a logically certain conclusion. Involves using given true premises to reach a conclusion that is also true.