Topic: Inference rule's restriction
Adrian Bono (May 14 2020 at 03:53):
As you see above, the second rule has two restrictions. x should not be free in Γ or Psi, or term should not occur in these two. Can someone show that if term occurs in psi and Γ , the rule would be unsound?
similar restriction for generalization theorem is proved in the way below, but I could not prove the similar notion for Introduction of ∃
Last updated: May 09 2021 at 11:09 UTC