I am constructing a formal proof for this set of logical hypotheses:
D, D ∧ C ⇒ E, Z ⇒ C ⊢ Z ⇒ E
I have used the deduction theorem / conditional proof to create the following hypotheses, taking Z from the conclusion to be another hypothesis:
H1 = D
H2 = D ∧ C ⇒ E
H3 = Z ⇒ C
H4 = Z
Conclusion = E
I'm trying to be "clever" by simplifying D ∧ C ⇒ E into just C ⇒ E so that I can then use Hypothetical Syllogism rather than modus ponens. Is that a valid simplification? Or can I only simplify D ∧ C when it's on its own (without ⇒ E)?
E.g. Can a conjunction be simplified when it's implying something else? Or can a conjunction only be simplified when it's on its own?
Best Answer
No! Here is an example to see why this is an invalid inference:
If I am male and unmarried, then I am a bachelor (true)
Therefore, if I am male, I am a bachelor (false!)
This is why inference rules for operators can only be applied when that operator is the main operator, e.g. Simplification can only be applied when the main connective is a conjunction (and the Simplification is applied to that very conjunction of course!)