1. Whenever the red light is on and the green light is off, it means that the protection shields are no longer in place covering the uranium core. The protection shields are covering the uranium core, yet the green light is off. This means that the red light must be off also.
Logic:
(A)
If a, then b => Not b, Not a
(B)
If Not(X and Y) ==> (X is true, Not Y) or (Y is true, Not X): Correct Logic
If Not(X and Y) ==> (X is Not true, Y true) or (Y is Not true, X): Wrong Logic
So, in the question:
(red is on) and (green is off) ==> (No Protection shield)
using (A)
(There is Protection shield) ==> Not((red is on) and (green is off))
Now we have for second Part (using B):
Not((red is on) and (green is off)) ==> (green is off), (red is off) [x, not y]
So logically Correct.
2. My biology text book tells me that no birds are mammals. I conclude that no mammals are birds.
No birds are mammals.
=> X (no birds) -> Y(mammals)
=> No Y [no (mammals)] -> No X [no (no birds)]
=> no mammals -> birds
Logically Correct.
3. Our leisure centre had a budget of £100,000 last year to be spent on a swimming pool costing £60,000 or a gymnasium costing £55,000. We went ahead and ordered the swimming pool to be built. Therefore we did not spend any money on having a gymnasium built last year.
Logic:
(X or Y) == Not(X and Y) => (X is true, Not Y) or (Y is true, Not X): Correct Logic
(spent 60k on swimming pool) or (spent 55k in gymnasium) => (spent 60k on swimming pool), Not (spent 55k in gymnasium)
So statement is Logically correct
Please correct me if I am wrong.