taut con simply checks to see that every time the premises are true, the conclusion is true. Ana Con incoporates real world knowledge while making its judgements. For example: ~a v b and a v c would give us b v c by taut con. But if we know ~Larger(a,b) and ~SameSize (a,b) then we would know Smaller(a,b) by ana con.
to prove ~a v b and a v c, we would either use ana con or taut con, and if neither is avaliable, then we would prove it the long way as in the Proofs 2 handout.
Question 1, exam 1
Soundness is based purely on your opinion/interpretation. Just go ahead and justify your answer if you have doubts about soundness.
Question 2, exam 1
Just one person committed the crime
Question 3, exam 1
There are 2 different expressions in problem 3, each of which is on a different line. Provide the final columns of each of these two different expressions. There is no printing error. The question is corrent.
Question 5, exam1
We want you to come up with one world here.
Question 6, exam 1
The constraint is just for ana con. You can use full taut con here.
Quesion 8, exam 1 You may not use a constant in your definition of functionally complete. Just use x, y and the operator.