Logic
How do you show some conclusion of an argument cannot be derived in a complete system? Does one have to make the truth table to show that it is not valid and therefore, by definition it should be impossible for that conclusion to be derived?
Accepted:June 24, 2010
Accepted:
June 24, 2010