Grande rivoluzione nel mondo della logica dal Vaticano: il COmitato per i Postulati, le Relazioni e gli Ossimori Finalizzati Alla Garanzia delle Identita' (il CO.P.R.O.F.A.G.I) che introduce una variazione al vetusto Modus Ponens.

Il Modus Ponens dice: Se "p implica q" è una proposizione vera, e anche la premessa p è vera, allora la conseguenza q è vera.

Per spiegarci meglio:
dati
p="lui e' un ateniese"
q="lui e' un bugiardo"
p implica q ="Se lui e' un ateniese, allora e' un bugiardo"
allora se e' vero che ogni ateneiese e' un bugiardo e che quella persona e' ateniese, allora sara' vero che e' anche bugiarda.

Il CO.P.R.O.F.A.G.I ha introdotto una variazione: il Modus Ponens Vaticanis il cui postulato e' : Se "p implica q" e' vera e p e' vera, allora "q implica x" e' vera, dove x e' una proposizione scelta a piacere.

Esempio:
p="lo stato persegue penalmente l'omosessualita'"
q="lo stato discrimina gli omosessuali"
p implica q="Se lo stato persegue penalmente l'omosessualita' allora discrimina gli omosessuali"
x="lo stato viene discriminato"

In questo caso avremmo il seguente, mirabolante, risultato:
"Uno stato persegue penalmente gli omosessuali, ma dato che uno stato che persegue penalmente l'omosessualita' discrimina gli omosessuali, allora lo stato che discrimina gli omosessuali, e' chiaramente discriminato esso stesso".

Si vede chiaramente come questa rivoluzione scuota le fondamenta della logica, riformando un sistema statico e logoro.

Le prime applicazioni sperimentali sono gia' in via di sviluppo. Si tentera' di dimostrare che se un prete e' un pedofilo, allora non puo' che rimanere libero e prete nonostante si sia scoperto l'accaduto.

Gioite, popolo , l'ancora per la salvezza di tutti e' stata gettata in mare.