Ci provo, anche se devo scavare un po' nella memoria:
Userò dei simbilo semplici, per non complicarmi troppo la vita:
- V -> per ogni
- | -> tale che
- E -> eseste almeno un
- € -> appartiene
V p | E g € {persone che amano il calcio} | p è figlio di g => p € {persone che amano il calcio}
A parole:
Per ogni
persona (p) tale che esiste almeno un
genitore (g) appartenente all'
insieme degli amanti del calcio (A) tale per cui p è figlio di g, anche p appartiene ad A