T3.5: 9 of 9 Short-cut Tables Finally, notice that the For instance, to prove that a set of sentences is consistent, all you
need is If you notice that you can fully prove your case with such a "short-cut" table, go ahead and submit it. If you are unsure, you may submit it to see if you've done enough, or (especially on an exam!) you may just go ahead and do the whole table. This latter will never hurt! Now, think about testing for other properties. Will you ever be able to do a short-cut table to show and argument is valid? invalid? a pair of sentences are equivalent in SL? inequivalent in SL? Think about these questions by consulting the definitions for the terms involved – again, if a single row proves your point, then that's all you need to do. Take me to the next chapter! |