Help with Existential Introduction

Logical System
bergmann

Existential Introduction (EI)

11/3/07

Existential Introduction