XSON

AcronymDefinition
XSONExtremely Thin Small Outline Package No Leads
References in periodicals archive ?
Donde, A es el stock de activos externos, Xson las exportaciones, Mson las importaciones, ies la tasa de interes internacional, F(K,R,E) es la funcion de produccion de un bien compuesto que depende del stock de capital, K, y la extraccion de recursos renovables, R, y no-renovables, E.
Entonces por la proposicion 9, tanto X como ~ Xson formulas n-validas, pero esto es imposible, ya que si ~X es una formula n-valida, entonces para todo n-modelo (S, [M.sub.a], RA, V) se tiene V([M.sub.a], ~X) = 1, lo cual segun V ~ significa V([M.sub.a], X) = 0, por lo que X no puede ser n-valida, lo cual no es el caso.