Oración 1: lógicas trivariadas y lógicas finito-variadas 47 Por tanto, note que pueden haber fórmulas con variables libres, las cuales dependiendo de la valoración V pueden cambiar el valor final de la fórmu- la; un ejemplo de esto es Px, predicado el cual puede ser tanto satisfacible como insatisfacible como indeterminado
Oración 2: como primera motivación, nos enfocaremos en el concepto de incertidumbre
Relación: neutral
Género: theses