sample_mt logic

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

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

View Full Document Right Arrow Icon
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 different. On the actual exam, you can expect to see problems of roughly the same difficulty 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 filled 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.
Background image of page 1

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

View Full DocumentRight Arrow Icon
Background image of page 2
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: A (B & 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 & 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 & B) Premise 2 (2) (A & B) Premise 3 (3) A Assumption 4 (4) B Assumption 3,4 (5) A & B 3,4 &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 & B 3,8 &I 1,2,3 (10) f 1,9 E 1,2 (11) A 3,10 I F 2...
View Full Document

Page1 / 2

sample_mt logic - A (B & 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 Right Arrow Icon
Ask a homework question - tutors are online