Professional Documents
Culture Documents
MA 385
Assignment 10
Caden Matthews
Section A
3.
{1} 1. (∀𝑥)(φ → ψ) P (For CP)
{1,2} 4. ψ 2,3T
4.
{1} 1. (∃𝑥)(ψ → φ) ∧ ¬((∀𝑥)ψ → φ) P (For IP)
{1} 2. (∃𝑥)(ψ → φ) 1T
{1} 3. ¬((∀𝑥)ψ → φ) 1T
{1} 5. (∀𝑥)ψ ∧ ¬φ 4T
{1} 6. (∀𝑥)ψ 5T
{1} 7. ¬φ 5T
Section B
2.
{1} 1. (∀𝑥)𝑃𝑥 ∨ (∀𝑦)𝑄𝑦 P (For CP)
6.
{1} 1. (∃𝑥)((∃𝑦)𝑃𝑦 → 𝑄𝑥) P (For CP)
10.
S=<U, R>=<{a,b,c}, {(a,b),(b,c)}>
Consider x=a, y=b, z=c. We note that the antecedent is true as (a,b) and (b,c) are in R.
However, since (a,c) is not in R, the consequent is false. True implies false is false.
13.
S=<U, P, Q, a>=<{a,b,c}, {b}, {b}, a>
Dealing first with “For all x, Px implies Qx,” we note that for x=a and x=c, Px implies Qx is
true as a and c are not in
Matthews 6
18.
{1} 1. ¬(∀𝑥)(∃𝑦)𝑅𝑥𝑦 ∧ ¬(∃𝑦)(∀𝑥)¬𝑅𝑦𝑥 P (For IP)
{2,3} 8. 𝑃 ∧ ¬𝑃 7T
Section D
4.
{1} 1. ¬(∃𝑥)(∀𝑦)(𝑃𝑦 ∧ ¬𝑄𝑥) P
13.
{1} 1. (∀𝑥)(∀𝑦)[𝑃𝑥 ∧ (∃𝑧)(𝑄𝑧 ∧ 𝑅𝑦𝑧) → 𝑆𝑥𝑦] P
{3} 3. ¬𝑇𝑎 P
Section F
3.
(∀𝑥)(𝐹𝑥 → 𝐺𝑥𝑦) → ¬(∃𝑦)𝐻𝑦 Given
7.
¬(∀𝑥)(𝑃𝑥 → 𝑄𝑥) ∧ ¬(∃𝑦)(∃𝑧)(𝑃𝑧 ∧ 𝑅𝑥𝑧 ∧ 𝑆𝑦𝑥) Given
13. This one is complicated and I believe would be too wide to write each step.
Starting from the given equation, I used rule T to split it into the conjunction of two
conditionals. I then used the list of logical theorems to change various variables and “pull
out” quantifiers. This is the answer I found:
(∀𝑣)(∀𝑧)(∃𝑢)(∃𝑤)[(𝐴𝑧 ∧ 𝐵𝑧𝑦 → ¬𝐶𝑣 ∧ ¬𝐷𝑥𝑣) ∧ (¬𝐶𝑢 ∧ ¬𝐷𝑥𝑢 → 𝐴𝑤 ∧ 𝐵𝑤𝑦)]