Multiple Choice question about Proposition Logic

soopo
Messages
222
Reaction score
0
The question is here: http://dl.getdropbox.com/u/175564/logic.png

The correct answer is D.

My attempt to the problem:
Let the beginnings of the sentences be A.
In a, A is B -/-> C is D.
In b, A is B -/-> C is D.
These first two do not make sense.

in c and d, the word "only" suggests exaggeration.
In c, A is B -/-> B must be C.
In d, A is B -/-> A must be C.

Still, I am sure thoroughly why d is the correct answer.
Please, let me know why.
 
Last edited by a moderator:
Physics news on Phys.org
You need modal logic here, for cannot and mustn't, which are modalities.
 
Hi all, I've been a roulette player for more than 10 years (although I took time off here and there) and it's only now that I'm trying to understand the physics of the game. Basically my strategy in roulette is to divide the wheel roughly into two halves (let's call them A and B). My theory is that in roulette there will invariably be variance. In other words, if A comes up 5 times in a row, B will be due to come up soon. However I have been proven wrong many times, and I have seen some...
Thread 'Detail of Diagonalization Lemma'
The following is more or less taken from page 6 of C. Smorynski's "Self-Reference and Modal Logic". (Springer, 1985) (I couldn't get raised brackets to indicate codification (Gödel numbering), so I use a box. The overline is assigning a name. The detail I would like clarification on is in the second step in the last line, where we have an m-overlined, and we substitute the expression for m. Are we saying that the name of a coded term is the same as the coded term? Thanks in advance.
Back
Top