Sintetizziamo le quattro frasi (assiomi) usando le iniziali delle persone e delle città:
(L, R) -> (S, N) o (G, P)
(L, R) -> (S, M) o (G, P)
non (L, R) -> (S, N) o (G, P)
non (L, R) -> (S, M) o (G, P)
Se (L, R) deve essere vera sia "(S, N) o (G, P)" sia "(S, M) o (G, P)". Quindi è necessario che (G, P). Pertanto semplifichiamo in:
(L, R) -> (G, P)
Idem per terza e quarta:
non (L, R) -> (G, P)
Se (G, P) deve essere versa sia che sia vera (L, R), sia che sia vera non (L, R), allora (G, P) è vera in ogni caso.
Quindi Gaia ha visitato Palermo.
Risposta A.