Answer to Question #89281 in Discrete Mathematics for awais

Question

1. Expand in a two-element universe (the elements are named 'a' and 'b')

(a) ~(x) ((Fx v Gy) v Ka)

(b) (x) ~ (Kx v Ka)

(c) (Ex) (Cy v (Fx --> ~Ga))

2. For the following wffs, indicate which variables are free and which are bound (you can use 'F' for free and 'B' for bound.) Make sure you draw a vertical line underneath each variable with the letters 'F' or 'B' at the bottom of each vertical line.

You can write the wffs with the vertical lines on a piece of paper and submit a photo of it.



(a) (x) (y) (z) ((Fxy --> Gxy) v (Hxa --> Hzbu))

(b) (Ex) (Ey) Hxxy --> (z) (Gz v Hx)

(c) (z) (Ex) (y) (Axayzw v Bxycuvz)

Answer 1

Dear awais, your question requires a lot of work, which neither of our experts is ready to perform for free. We advise you to convert it to a fully qualified order and we will try to help you. Please click the link below to proceed: Submit order