Interpretazioni di un sillogismo

      Tutti gli uomini sono mortali
      Socrate è un uomo
      Quindi Socrate è mortale

--- logica
            Essere uomo → essere mortale
            Socrate è un uomo
            Quindi Socrate è mortale

--- insiemistica
      L'insieme degli uomini
            è un sottoinsieme (proprio) dei mortali;
      Socrate appartiene all'insieme degli uomini;
      Socrate appartiene all'insieme dei mortali.
     
      P ⊆ Q
      x in P
      ---------
      ⇒ x in Q