ADVICE on choosing a rule appropriate to the operator '•' (AND)
| suggestions: | ||
| If • | is the Main Operator in a PREMISE, | SIMP CD |
| the MO in the GOAL or CONCLUSION, | CONJ | |
| to be LEFT AS IS while others change, | COM ASSOC | |
| to be REPLACED with another operator, | DM DN DIST EQUIV TAUT |
Note: if the conclusion or goal proposition is IDENTICAL to a portion of a premise, then chose the rule according to that PREMISE'S main operator.
If the • line is NOT wholly found in a premise and CD is not relevant, use SIMP.