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.