Crowdly
Add to Chrome
Given that you have this line in the proof state: h: P ∨ Q ...
✅ The verified answer to this question is available below. Our community-reviewed solutions help you understand the material better.
Given that you have this line in the proof state:
h: P ∨ Q
Which tactic should be used to split the proof into cases.
❌
❌
❌
✅