Oración 1: lÓGICA b) I(fi) es una función tal que I(fi) :M n →M, donde n es una aridad de la función fi
Oración 2: estamos interpretando fi como una función de M
Conector: en otras palabras,
Relación: entailment
Género: theses