public bool KanOnwaar(Valuatie v) { // Een propositie kan onwaar zijn als er nog geen valuatie aan is toegekend, of de valuatie onwaar is if (!v.BevatVariabele(variabele)) { return(true); } return(!v.GeefWaarde(variabele)); }
public bool Waarde(Valuatie v) { return(v.GeefWaarde(variabele)); }