Zulip Chat Archive

Stream: maths

Topic: Inference rule's restriction


view this post on Zulip Adrian Bono (May 14 2020 at 03:53):

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 09 2021 at 11:09 UTC