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));
}
