The existsR proof rule proves an existential formula ∃x p(x) by specifying an arbitrary term e as a witness and proving p(e).

Learning resources