In: Computer Science
[P∧¬P]→Q is a tautology and is a
valid argument. A valid argument can be sound or unsound. An
invalid argument, however, can not be sound. Would the above
argument be sound or sound? Why or why not?
an argument to be valid, it must take a form where it is
immpossible for the premises to be true and the conclusion to be
false.
If the premises don't logically guarantee the conclusion, then the
argument is invalid means it is not valid. Truth doesn't factor
into whether an argument is valid or not.
Infact, argument might be perfectly valid but still have a false
conclusion. This is where soundness comes in.
If an argument is sound, then all of the premises are true.
If the conclusion is true and the premises are not, then the
argument is unsound.
All sound arguments are also valid arguments. However, while an
argument can be invalid or valid but unsound,
it doesn't mean that the conclusion is false. The conclusion might
be perfectly true,
but a person doing the arguing got there through incorrect
means.
A good way to know if an argument is invalid or unsound is to
translate it into symbolic logic.