stylistic:style_transfer
Deductive arguments

A deductive argument asserts that the truth of the conclusion is a logical consequence of the premises: if the premises are true, the conclusion must be true. It would be self-contradictory to assert the premises and deny the conclusion because the negation of the conclusion is contradictory to the truth of the premises. Based on the premises, the conclusion follows necessarily (with certainty). Given premises that A=B and B=C, then the conclusion follows necessarily that A=C. Deductive arguments are sometimes referred to as "truth-preserving" arguments. For example, consider the argument that because bats can fly (premise=true), and all flying creatures are birds (premise=false), therefore bats are birds (conclusion=false). If we assume the premises are true, the conclusion follows necessarily, and it is a valid argument.