Professional Documents
Culture Documents
MA 385 Assignment 9
MA 385 Assignment 9
MA 385
Assignment 9
Caden Matthews
Set 7
Part D
11.
{1} 1. 𝑃𝑎 ∧ 𝑆𝑎 P
{1} 5. 𝑆𝑎 1T #4
{1} 8. 𝑃𝑎 1T #4
{2} 9. 𝑄𝑓(𝑎) 2T #4
Set 8
Part A
3.
{1} 1. (∀𝑥)(𝐴𝑥 → 𝐶𝑥) P
{1,4} 6. 𝐶𝑦 𝑦 4,5T #1
{2,4} 8. 𝐷𝑦 𝑦 4,7T #1
17.
{1} 1. (∀𝑥)(𝑃𝑥 → (∃𝑦)𝑄𝑥𝑦) P
{3} 4. 𝑃𝑧 𝑧 3T #4
22.
{1} 1. (∀𝑥)(𝑃𝑥 → 𝑄𝑥) P
{4} 7. 𝑇𝑥𝑦 𝑥𝑦 4T #4
{2,4} 8. 𝑃𝑦 𝑦 6,7T #1
{4} 10. 𝑅𝑥 𝑥 4T #4
Part D
6.
{1} 1. (∃𝑥)𝐴𝑥 P
{3} 3. 𝐶𝑎 P
7.
{1} 1. (∀𝑥)[𝑃𝑥 → (∀𝑦)(𝑄𝑦 → ¬𝑅𝑥𝑦)] P
Part E
8.
Lines 3, 5, 6, 7, 8: Flag z
Line 9: You may not use rule UG if the variable is flagged (which z is in line 8)
13.
Line 3, 4: Flag y
Line 6: Incorrect usage of US, every instance of x must be replaced by y
Matthews 7
Set 9
Part A
5.
{1} 1. (∀𝑥)(𝑆𝑥 → ¬𝑊𝑥𝑐) P
{2} 2. 𝑆𝑛 P
6.
{1} 1. (∀𝑥)(∀𝑦)(∀𝑧)(𝑁𝑥𝑦 ∧ 𝑁𝑦𝑧 → 𝑁𝑥𝑧) P
{2} 2. 𝑁𝑚𝑜 P
{3} 3. 𝑁𝑜𝑐 P
{4} 4. 𝑁𝑐𝑛 P
Part B
2.
{1} 1. (∀𝑥)(𝑃𝑥 → ¬𝑄𝑥) P
{2,4} 8. 𝑄𝑥 𝑥 4,7T #3
11.
S=<U, A, R, a, b>=<{a,b,c}, {(a,b)}, {a,c}, a, b>
Matthews 9
Part D
2.
{1} 1. (∀𝑥)(𝐷𝑥 → ¬𝐸𝑥) P
{2,4} 9. 𝐸𝑦 𝑦 4,8T #3
7.
S=<U,