Buonasera !
Innanzitutto volevo dire che le “pillole di fisica” di Sofia mi sono piaciute parecchio.
Volevo riportare una famosa frase di John Ellis, fisico teorico del Cern: “Immaginate un'infinita distesa di neve, un campo esteso lungo tutto lo spazio. Il campo di Higgs è come questo: questo è fatto di fiocchi di neve, allo stesso modo il campo di Higgs è composto di piccoli quanti. Noi li chiamiamo Bosoni di Higgs“.
Un' immagine cosi semplice per spiegare un concetto cosi fondamentale...
 
Ma ora torniamo al quesito logico.
 
L' esempio “x è nonno materno di y” si esprime in:
 
Esiste z: ( P(x,z) intersezione M(z,y) )                                          (x è il padre della madre di y)
(sono sicura che la y al posto della prima z è stata una piccola svista, ma meglio precisare per non confondere le idee..)
 
Quindi:
1- x è genitore di y
    P(x,y) unito M(x,y)                                                                       (x è padre oppure madre di y)
 
2- x è zio paterno di y
     esiste z: ( F(x,z) intersezione P(z,y) )                                         (x è il fratello del padre di y)
 
3- x è bisnonna (in linea materna) di y
     esiste z,t : ( M(x,z) intersezione M(z,t) intersezione M(t,y) )
     (x è la madre della madre della madre di y)
 
Una volta che si è capito il meccanismo diventa davvero semplice :)
 
                                                                                                                              Lidia Premoli Vilà