Scriviamo:
(persona, città)
per indicare che una persona visita una città.
Le affermazioni date per vere possono quindi essere riassunte in:
(L, R) -> (S, N) ∨ (G, P)
(L, R) -> (S, M) ∨ (G, P)
~ (L, R) -> (S, N) ∨ (G, P)
~ (L, R) -> (S, M) ∨ (G, P)
Balza all'occhio che in tutte le affermazioni c'è la proposizione (G, P).
Se questa proposizione è vera, le disgiunzioni logiche sono vere. E tali disgiunzioni sono le conseguenti delle quattro implicazioni. Se le disgiunzioni sono vere, le implicazioni sono vere indipendentemente dallo stato di verità dell'antecedente.
Dando quindi per scontato che sia una sola la proposizione necessariamente vera, questa non può essere (G, P).
Quindi risposta D.