public override bool Equals(object obj) { if (obj is Biconditional) { Biconditional b = (Biconditional)obj; return((left.Equals(b.left) && right.Equals(b.right)) || (left.Equals(b.right) && right.Equals(b.left))); } return(false); }
public override bool Equals(object obj) { if (obj is Conditional) { Conditional c = (Conditional)obj; return(antecedent.Equals(c.antecedent) && consequent.Equals(c.consequent)); } return(false); }
public override bool Equals(object obj) { if (obj is Negation) { Negation n = (Negation)obj; return(inner.Equals(n.inner)); } return(false); }
public override bool Equals(object obj) { if (obj == null) { return(false); } if (GetType() != obj.GetType()) { return(false); } Quantifier q = (Quantifier)obj; if (variable.Equals(q.variable)) { return(scope.Equals(q.scope)); } WFF renamed = q.scope.Rename(q.variable, variable); return(scope.Equals(renamed)); }