Sound Argument

Ruby
Vladimir_Nesov (+79/-49) formatting/wikilink/renaming
Vladimir_Nesov moved [[Sound logic]] to [[Sound argument]]
Normal_Anomaly
Normal_Anomaly
Normal_Anomaly Fixed carriage returns
Normal_Anomaly (+425) Created the page.

Sound logicargument is argument that is Valid_logicvalid that also has true premises.and whose premises are all true. In other words, the premises are true and the conclusion necessarily follows from them, making the conclusion true as well.

For example, consider the following syllogism:

Sound logic is Valid_logic that also has true premises. In other words, the premises are true and the conclusion necessarily follows from them, making the conclusion true as well. For example, the following syllogism: All multiples of ten are multiples of five. (True premise/All A are B) 30 is a multiple of ten. (True premise/C is A) Therefore, 30 is a multiple of 5. (True conclusion/Therefore, C is B.)

See also