## Stream: general

### Topic: Inference rule's restriction

#### Adrian Bono (May 14 2020 at 04:34):

image.png
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 ∃
image.png

Last updated: May 10 2021 at 18:22 UTC