Function to identify an application of the rule of Addition.
Consider a basic case - source: p; target: p V q;
We can verify that this is a valid application of Addition simply
by checking whether any of the 0-2 target.proposition.operands is
equal to the source.proposition, and that the Operator for the
target is V.
Function to identify an application of the rule of
Addition. Consider a basic case - source: p; target: p V q; We can verify that this is a valid application ofAdditionsimply by checking whether any of the 0-2target.proposition.operandsis equal to thesource.proposition, and that the Operator for thetargetisV.