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