|
In mathematical logic, a logical system has the soundness property if and only if its inference rules prove only formulas that are valid with respect to its semantics. In most cases, this comes down to its rules having the property of preserving ''truth'', but this is not the case in general. ==Of arguments== An argument is sound if and only if 1. The argument is valid, and 2. All of its premises are true. For instance, :All men are mortal. :Socrates is a man. :Therefore, Socrates is mortal. The argument is valid (because the conclusion is true based on the premises, that is, that the conclusion follows the premises) and since the premises are in fact true, the argument is sound. The following argument is valid but not sound: :All organisms with wings can fly. :Penguins have wings. :Therefore, penguins can fly. Since the first premise is actually false, the argument, though valid, is not sound. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「soundness」の詳細全文を読む スポンサード リンク
|