Alessandro Baricco: differenze tra le versioni

Vai alla navigazione Vai alla ricerca
Contenuto aggiunto Contenuto cancellato
m (Bot: Sostituzione di tag obsoleti.)
m (Bot: vediamo che sa fare...)
Riga 1: Riga 1:
{|width="95%" align="center" style="background: #ffd700; border: 2px solid #000000; color: #330899; margin-bottom: 3px; font-size: 120%;"
{|width="95%" align="center" style="background: #ffd700; border: 2px solid #000000; color: #330899; margin-bottom: 3px; font-size: 120%;"
|style="padding-right: 2px; padding-left: 2px;"|[[File:Alessandro_baricco.jpg|left|100px]][[File:Alessandro_baricco.jpg|right|100px]]<center> <font size="+1">{{cit|<big>'''''{{colore|#ff0000|Alessandro Baricco}}'''''</big> <small>è seccato di apparire in un'enciclopedia diversa dalla Treccani. Egli è schivo e non ha alcuna voglia di essere visto in faccia e magari idolatrato solo perché bellissimo: vuole essere apprezzato solo come scrittore, per la sua creatività, per la sua genialità</small>|<small>Alessandro Baricco, geniale e creativo scrittore</small>}}</font></center>
|style="padding-right: 2px; padding-left: 2px;"|[[File:Alessandro_baricco.jpg|left|100px]][[File:Alessandro_baricco.jpg|right|100px]]{{Center| <font size="+1">{{cit|<big>'''''{{colore|#ff0000|Alessandro Baricco}}'''''</big> <small>è seccato di apparire in un'enciclopedia diversa dalla Treccani. Egli è schivo e non ha alcuna voglia di essere visto in faccia e magari idolatrato solo perché bellissimo: vuole essere apprezzato solo come scrittore, per la sua creatività, per la sua genialità</small>|<small>Alessandro Baricco, geniale e creativo scrittore</small>}}</font>}}
|}
|}


Riga 126: Riga 126:
*'''Assioma di generalizzazione esistenziale.''' Data una formula <math>\,\phi\,</math> in un linguaggio del primo ordine <math>\,\mathfrak{L}\,</math>, una variabile <math>\,x\,</math> e un termine <math>\,t\,</math> che è sostituibile per <math>\,x\,</math> in <math>\,\phi\,</math>, la formula
*'''Assioma di generalizzazione esistenziale.''' Data una formula <math>\,\phi\,</math> in un linguaggio del primo ordine <math>\,\mathfrak{L}\,</math>, una variabile <math>\,x\,</math> e un termine <math>\,t\,</math> che è sostituibile per <math>\,x\,</math> in <math>\,\phi\,</math>, la formula


<center><math>\phi^x_t \to \exists x \phi</math></center>
{{Center|<math>\phi^x_t \to \exists x \phi</math>}}


è valida solo se per <math>\,\phi\,</math> si intende '''Alessandro Baricco'''.<br /><br />
è valida solo se per <math>\,\phi\,</math> si intende '''Alessandro Baricco'''.<br /><br />