Ruby | v1.6.0Sep 25th 2020 | |||
Vladimir_Nesov | v1.5.0Jan 22nd 2011 | (+79/-49) formatting/wikilink/renaming | ||
Vladimir_Nesov | v1.4.0Jan 22nd 2011 | moved [[Sound logic]] to [[Sound argument]] | ||
Normal_Anomaly | v1.3.0Jan 22nd 2011 | |||
Normal_Anomaly | v1.2.0Jan 22nd 2011 | |||
Normal_Anomaly | v1.1.0Jan 22nd 2011 | Fixed carriage returns | ||
Normal_Anomaly | v1.0.0Jan 22nd 2011 | (+425) Created the page. |
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.)
Sound
logicargument is argument that isValid_logicvalidthat 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:
logicargument