Final 09/03/2017 (Paradigmas)

1. Para cada afirmación decidir si es verdadera o falsa y justificar:

a) $\forall$ término M $\in \lambda ^{bn}$, si $\emptyset \vdash M:\sigma$ es derivable, entonces existe un valor $V$ tal que $fix\ M\twoheadrightarrow V$

b) $\exists M\in \lambda ^{bn},\ \emptyset \vdash M:\sigma$ es derivable, y hay un valor $V$ tal que $fix\ fix\ M\twoheadrightarrow V$ y $fix\ M\twoheadrightarrow V$