Solution to 1. Expand in a two-element universe (the elements are named 'a' and 'b') (a) ~(x) … - Sikademy
Author Image

Archangel Macsika

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)

Hmmm... This is a tough one :(

We need the Motivation and Support! 💪

Our expert tutor in charge of answering this question
needs a cup of coffee to get pumped!

Buy her a cup or more ☕

And unlock the solution to this question.

Related Answers

Was this answer helpful?

Join our Community to stay in the know

Get updates for similar and other helpful Answers

Question ID: mtid-5-stid-8-sqid-4108-qpid-2807