Exercises for Chapter 6, part 2
10 points.
Due Weds., April 11, 10pm
Use the Natural-deduction-proof-checker to prove these claims, and submit your answers within a zipped folder. Do your own work.
-
1.
FORALLx(F(x) —> G(x)), F(chuck) |- EXISTSx(F(x) ^ G(x))
(use EXISTSi, not EXISTSe)
-
2.
EXISTSx(F(x) —> G(x)), FORALLy F(y) |- EXISTSz G(z)
(Use EXISTSi and EXISTSe. )
-
3.
EXISTSx F(x) |- ~(FORALLx ~F(x))
-
4.
FORALLx(F(x) —> EXISTSy G(x,y)) |- (EXISTSz F(z)) -> (EXISTSz EXISTSy G(z,y))