Maybe I'm a bit slow, but I'm failing to grasp the concepts of soundness, completeness and semantic entailment. If I read the definitions in the book, it makes sense, but I can't seem to figure out how it all fits together in the big picture.
Does anyone know this stuff well enough to explain it?
Just wanted to offer some support, since I know when I wrote this exam last year (passed with a 73% Thank G-d), there were less than 100 students taking it, and you sometimes feel lost in an ocean.
It is a challenging course to teach to yourself, and if you feel slow - don't worry. It just is a very new way of looking at Logic and is like teaching yourself a foreign language, which is possible, but takes time.
My suggestion: Take a look at the material, do the exercises. Don't worry if you don't get everything. Then, look at the same work again a month or so later - in my case, I understood it so much better, as it had time to 'sink' in.
I wish I knew it well enough to explain it, but if you have any specific problems that I can answer, I'd love to help.