If a well-formed formula is equal to another well-formed formula, does that mean their variables are equal too?

34 Views Asked by At

For example, if I set $\to p_{1}q_{1} = \to p_{2}q_{2}$, does that mean $p_{1}=p_{2}$ and $q_{1}=q_{2}$?

1

There are 1 best solutions below

0
On BEST ANSWER

Equal formulas have equal "operator" and equal "operands"