Use natural deduction to solve the problem. From ∀xLxx, prove ∀x∃yLxy. Below is example question and solution as referen
Posted: Tue Nov 16, 2021 6:51 am
Use natural deduction to solve the problem.
From ∀xLxx, prove ∀x∃yLxy.
Below is example question and solution as reference:
From premises ∃xLax → ∀xLxa and Lab, prove that Lba.
1. ∃xLax → ∀xLxa
2. Lab (Lba)
3. ∃xLax ∃I2
4. ∀xLxa →E1,3
5. Lba ∀E4
From ∀xLxx, prove ∀x∃yLxy.
Below is example question and solution as reference:
From premises ∃xLax → ∀xLxa and Lab, prove that Lba.
1. ∃xLax → ∀xLxa
2. Lab (Lba)
3. ∃xLax ∃I2
4. ∀xLxa →E1,3
5. Lba ∀E4