Página creada con «El predicado de orden superior más simple, y a la vez muy utilizado, es el <code>not/1</code>, que representa una negación. Si  <code>P</code>  es una proposición, enton...»
Página creada con «El predicado de orden superior más simple, y a la vez muy utilizado, es el <code>not/1</code>, que representa una negación. Si  <code>P</code>  es una proposición, enton...»

uqbar-project/wiki,uqbar-project/wiki,uqbar-project/wiki,uqbar-project/wiki,uqbar-project/wiki