Go backward to Implication Go up to Top Go forward to Implicative Laws

Operational Interpretation

public final class Implies implements Formula
{
  private Formula formula0; private Formula formula1;

  public boolean eval() throws EvalException
  {
    if (formula0.eval())
      if (formula1.eval())
        return true;
      else
        return false;
    else
      return true;
  }
}