Any thoughts on Q7.2 in the mock exam?

How do we realte a queen to a position?

In the explanation we are told that Q11 is true if there is a queen placed there. Then we are asked to say if Q11 then "the queen at Q11 is safe".

Since we are using propositional language we can't even use variables, so how do we link the two.

Question 7.3 has me totally stumped!

I'm at work at the moment so do not have the text book but when Google Propositional Statement I found:

A proposition is a statement that is either TRUE or FALSE.


If John is a computer science student, then John will take discrete mathematics.
John is a computer science student. Therefore, John will take discrete
mathematics.

Step 1. The "if, then" connective is present.
If John is a computer science student, then John will take discrete mathematics.

John is a computer science student.

Step 2. Define the propositions.
p: John is a computer science student
q: John will take discrete mathematics

Step 3. Write the propositional statement.
p -> q
p
-------
q

Develop the proof

Proof:
1. p -> q ---premise
2. p --------premise
3. q --------modus ponens, 1,2

Does everyone agree?

The propositional statement must include universal quatifiers with a implication statement.