Silais
That useless reptile
- 297
- Posts
- 11
- Years
- Seen Jul 17, 2016
Can you guys help me with a couple of logic tree problems?
1. Is ∀x(ƎyBy → Bx) logically equivalent to ƎyBy → ∀xBx?
2. Is this argument valid or invalid?
∀x(Px → Wx)
Ǝy(Wy Λ Ny)
∀x(Nx → Rx)
_______________
Ǝy(Py Λ Ry)
3. Is this valid or invalid?
∀x∀y (Rxy → ¬Ryx)
_______________
∀x¬Rxx
1. Is ∀x(ƎyBy → Bx) logically equivalent to ƎyBy → ∀xBx?
2. Is this argument valid or invalid?
∀x(Px → Wx)
Ǝy(Wy Λ Ny)
∀x(Nx → Rx)
_______________
Ǝy(Py Λ Ry)
3. Is this valid or invalid?
∀x∀y (Rxy → ¬Ryx)
_______________
∀x¬Rxx