sample_mt logic

# sample_mt logic - A (B &amp;amp;amp; C),D (B A),C D A C...

This preview shows pages 1–2. Sign up to view the full content.

Sample In-Class Mid-Term Philosophy 12A October 17, 2008 This is a sample in-class mid-term examination. The structure of the actual in-class mid-term will be exactly the same as this sample. The particular problems on the actual mid-term will be diﬀerent. On the actual exam, you can expect to see problems of roughly the same diﬃculty as these. 1 Problem #1 Complete the following natural deduction proof of the sequent (A B), (A B) A . All assumptions and premises have been ﬁlled in. Fill in any missing labels (right) and premise/assumption numbers (left). 1 (1) (A B) Premise 2 (2) (A B) Premise 3 (3) A Assumption 4 (4) B Assumption (5) A B (6) f (7) ∼∼ B (8) B (9) A B (10) f (11) A F For a solution to this problem, see the next page (page 2) of this handout. 2 Problem #2 Determine whether the following statement is correct, using any legitimate truth-table technique.

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: A (B &amp; C),D (B A),C D A C This is problem I.4 on p . 66 of the text. Forbes describes a short method solution to this problem on p . 363 of the text. 3 Problem #3 Determine whether the following statement is correct, using any legitimate truth-table technique. A (B C),E (B &amp; A),C E C A This is example D on page 64 of the text. Forbes gives a detailed short method solution there. 1 Solution to Problem #1 1 (1) (A &amp; B) Premise 2 (2) (A &amp; B) Premise 3 (3) A Assumption 4 (4) B Assumption 3,4 (5) A &amp; B 3,4 &amp;I 2,3,4 (6) f 2,5 E 2,3 (7) B 4,6 I 2,3 (8) B 7 DN 2,3 (9) A &amp; B 3,8 &amp;I 1,2,3 (10) f 1,9 E 1,2 (11) A 3,10 I F 2...
View Full Document

## sample_mt logic - A (B &amp;amp;amp; C),D (B A),C D A C...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document
Ask a homework question - tutors are online