Valor de verdad

El valor de verdad de una fórmula es una funcion Vi,v : Form(L)->{0,1} tal que: - α=Pk(t1,...,tk): Vi,v(α)=|1 si (v'(t1),...,v'(tk))∈Pik | 0 si no - α=∀xi β : Vi,v(α) = |1 si ∀a∈Ui Vi,v_xi=a (β) = 1 |0 si no - α=∃xi β : Vi,v(α) = |1 si ∃a∈Ui / Vi,v_xi=a (β) = 1 |0 si no - α=(α1^α2): Vi,v(α) = min{Vi,v(α1); Vi,v(α2)} - α=(α1vα2): Vi,v(α) = max{Vi,v(α1); Vi,v(α2)} - α=(α1->α2): Vi,v(α) = max{1-Vi,v(α1); Vi,v(α2)} - α=¬α1: Vi,v(α) = 1-Vi,v(α1)