 Valid deductive arguments are those where the truth of the premises necessitates the truth of the conclusion: the conclusion cannot but be true if the premises are true. Arguments having this property are said to be deductively valid. A valid argument whose premises are also true is said to be sound. Examples of valid deductive arguments are the familiar syllogisms, such as: